Workaround printer problem in C

AeneasVerif · Feb 15, 2024 · 7780d2b · 7780d2b
1 parent 7682b61
commit 7780d2b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/main.ml b/bin/main.ml
@@ -49,6 +49,7 @@ Supported options:|}
   Krml.(Options.(
     allow_tapps := true;
     minimal := true;
+    curly_braces := true;
     add_include := [ All, "\"eurydice_glue.h\"" ];
     (* header := "/* This file compiled from Rust to C by Eurydice \ *)
     (*   <http://github.com/aeneasverif/eurydice> */"; *)