Revert "Remove unused batteries dependency from cil library"

This reverts commit 47db719.
goblint · Apr 8, 2022 · 69c715c · 69c715c
1 parent cc00d8e
commit 69c715c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dune b/src/dune
@@ -4,7 +4,7 @@
   (public_name goblint-cil)
   (name cil)
   (wrapped false) ; this should be changed, but then module paths in goblint need to be prefixed
-  (libraries zarith findlib dynlink unix str stdlib-shims)
+  (libraries zarith findlib dynlink unix str stdlib-shims batteries.unthreaded) ; batteries shouldn't be needed, but tests fail on MacOS otherwise: https://github.com/goblint/cil/pull/89#issuecomment-1092610041
   (modules (:standard \ main))
 )