Commit 3f17dba6 authored by Daniel Le Berre's avatar Daniel Le Berre

Remove comment in French

parent efcfea8c
Pipeline #2322 failed with stages
in 24 minutes and 22 seconds
......@@ -595,9 +595,8 @@ public class Solver<D extends DataStructureFactory>
int counter = 0;
int p = ILits.UNDEFINED;
// placeholder for the asserting literal
outLearnt.push(ILits.UNDEFINED);
// reserve de la place pour le litteral falsifie
int outBtlevel = 0;
IConstr prevConfl = null;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment