From 9de95224f6293acb3cd6022471219a0a01b9b260 Mon Sep 17 00:00:00 2001
From: Christopher Pulte <cp526@cam.ac.uk>
Date: Wed, 27 Oct 2021 16:09:06 +0100
Subject: [PATCH] fix to get past error regarding LWT and the Mutex module

---
 _tags | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_tags b/_tags
index 3f37eb9..ba3d954 100644
--- a/_tags
+++ b/_tags
@@ -48,7 +48,7 @@
 
 <src_marshal_defs/marshal_defs.{d.byte,byte,native,p.native}> : package(lem), package(base64)
 
-<src_top/main.{d.byte,byte,native,p.native}> : package(unix), package(str), package(lem), package(linksem), package(base64)
+<src_top/main.{d.byte,byte,native,p.native}> : thread, package(unix), package(str), package(lem), package(linksem), package(base64)
 # the Makefile also adds package(lambda-term) when building text (and not headless)
 
 <src_top/webppc.{d.byte,byte}> : package(unix), package(js_of_ocaml), package(lem), package(linksem), package(base64)