Fix missing import

chocoteam · Dec 4, 2023 · 3a5210d · 3a5210d
1 parent 22a5b9a
commit 3a5210d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/parsers/src/main/java/org/chocosolver/parser/flatzinc/ast/FGoal.java b/parsers/src/main/java/org/chocosolver/parser/flatzinc/ast/FGoal.java
@@ -20,6 +20,7 @@
 import org.chocosolver.parser.flatzinc.ast.searches.VarChoice;
 import org.chocosolver.solver.Model;
 import org.chocosolver.solver.ResolutionPolicy;
+import org.chocosolver.solver.search.limits.FailCounter;
 import org.chocosolver.solver.search.strategy.strategy.AbstractStrategy;
 import org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer;
 import org.chocosolver.solver.variables.IntVar;