Updated cvc4 installation.

sireum · Jan 26, 2024 · 4a8db39 · 4a8db39
1 parent 6ded6e6
commit 4a8db39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -437,7 +437,7 @@ import Init._
         println()
       }
 
-      if (gen == "5") {
+      if (sub == "5") {
         val d = Os.tempDir()
         drop.unzipTo(d)
         (d / ops.StringOps(filename).substring(0, filename.size - 4) / "bin" / (if (kind == Os.Kind.Win) "cvc5.exe" else "cvc5")).copyOverTo(exe)