From 8eeb5069dd46639f4728dd4ae1b4f5e7ae57f186 Mon Sep 17 00:00:00 2001
From: Lasse Letager Hansen <lasse@letager.dk>
Date: Mon, 18 Mar 2024 20:33:43 +0100
Subject: [PATCH] Revert engine

---
 engine/dune-project    | 2 +-
 engine/hax-engine.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/engine/dune-project b/engine/dune-project
index 0a5613037..8936a52b7 100644
--- 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
index dd290a2ed..852dec1a8 100644
--- 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"