fix init after sat flag removal

2024-04-04 21:45:04 +02:00
parent 1f116da12d
commit a8a3b1519d
9 changed files with 0 additions and 24 deletions
--- a/ortools/init/java/InitTest.java
+++ b/ortools/init/java/InitTest.java
@@ -44,7 +44,6 @@ public final class InitTest {
    cppFlags.setLog_prefix(true);
    cppFlags.setCp_model_dump_prefix("init");
    cppFlags.setCp_model_dump_models(true);
-    cppFlags.setCp_model_dump_lns(true);
    cppFlags.setCp_model_dump_response(true);
    CppBridge.setFlags(cppFlags);
  }