Revert engine

hacspec · Mar 18, 2024 · 8eeb506 · 8eeb506
1 parent 83ce316
commit 8eeb506
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/engine/dune-project b/engine/dune-project
@@ -47,7 +47,7 @@
         zarith_stubs_js
 
         ; F*-specific dependencies
-        (batteries (<= "3.7.2"))
+        batteries
         zarith
         stdint
         ppxlib

diff --git a/engine/hax-engine.opam b/engine/hax-engine.opam
@@ -34,7 +34,7 @@ depends: [
   "js_of_ocaml"
   "js_of_ocaml-ppx"
   "zarith_stubs_js"
-  "batteries" {<= "3.7.2"}
+  "batteries"
   "zarith"
   "stdint"
   "ppxlib"