Make CRV use the default frontend of Kind 2 again

ge-high-assurance · May 3, 2022 · dae9564 · dae9564
1 parent 8a57071
commit dae9564
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/...-back-ends/verdict-bundle/verdict-bundle-app/src/main/java/com/ge/verdict/bundle/App.java b/...-back-ends/verdict-bundle/verdict-bundle-app/src/main/java/com/ge/verdict/bundle/App.java
@@ -958,8 +958,6 @@ public static void runCrv(
                         redirect,
                         outputFormat,
                         lustrePath,
-                        "--old_frontend",
-                        "true",
                         "--check_subproperties",
                         "false",
                         "--enable",
@@ -975,8 +973,6 @@ public static void runCrv(
                         redirect,
                         outputFormat,
                         lustrePath,
-                        "--old_frontend",
-                        "true",
                         "--check_subproperties",
                         "false",
                         "--ivc",