Use batteries.unthreaded everywhere to avoid Gobview exception

goblint · Oct 12, 2023 · 59462c3 · 59462c3
1 parent 956efd8
commit 59462c3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/gobview b/gobview
diff --git a/src/common/dune b/src/common/dune
@@ -5,7 +5,7 @@
  (public_name goblint.common)
  (wrapped false) ; TODO: wrap
  (libraries
-   batteries
+   batteries.unthreaded
    zarith
    goblint_std
    goblint-cil

diff --git a/src/util/std/dune b/src/util/std/dune
@@ -4,7 +4,7 @@
  (name goblint_std)
  (public_name goblint.std)
  (libraries
-   batteries
+   batteries.unthreaded
    zarith
    goblint-cil
    fpath