revert colibri2, missing solver message *for real*

formalsec · Oct 9, 2024 · 17214de · 17214de
1 parent 093aa21
commit 17214de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dune b/src/dune
@@ -119,7 +119,7 @@
     colibri2_mappings.nop.ml
     (progn
      (echo "let solver_name = \"Colibri2\"\n")
-     (echo "let solver_package = solver_name\n")
+     (echo "let solver_package = \"colibri2\"\n")
      (cat %{deps})))
    (with-stdout-to
     bitwuzla_mappings.nop.ml