FStarC.OCaml: pass -thread

This is needed to avoid warnings.
FStarLang · Oct 21, 2024 · 0a5b8a4 · 0a5b8a4
1 parent d0e2f14
commit 0a5b8a4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/fstar/FStarC.OCaml.fst b/src/fstar/FStarC.OCaml.fst
@@ -55,6 +55,7 @@ let wstr = "-8"
 
 let common_args =
   "-w" :: wstr ::
+  "-thread" ::
   []
 
 let exec_ocamlc args =