From 0a5b8a4a230bbc2a8d02da58ddb21691f44fc950 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Fri, 18 Oct 2024 12:58:43 -0700
Subject: [PATCH] FStarC.OCaml: pass -thread

This is needed to avoid warnings.
---
 src/fstar/FStarC.OCaml.fst | 1 +
 1 file changed, 1 insertion(+)

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 =