Commit d96ce19c authored by Jan Elffers's avatar Jan Elffers

fix a small issue in NaturalStaticOrder

parent a05fdec0
Pipeline #374 passed with stage
in 29 seconds
......@@ -68,7 +68,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