diff --git a/src/fstar/FStarC.OCaml.fst b/src/fstar/FStarC.OCaml.fst
index a2cd0ce30b5..53c59f8d690 100644
--- 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 =