Commit 5b5b1a0a authored by Jan Elffers's avatar Jan Elffers Committed by Daniel Le Berre

fix a small issue in NaturalStaticOrder

parent a824372f
Pipeline #376 passed with stages
in 26 minutes and 9 seconds
......@@ -72,7 +72,7 @@ public class NaturalStaticOrder implements IOrder {
@Override
public void undo(int x) {
index = Math.min(index, LiteralsUtils.var(x));
index = Math.min(index, x);
}
@Override
......
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