gillian.json in sync with esy.json

Signed-off-by: Sacha Ayoun <[email protected]>
GillianPlatform · Mar 7, 2024 · f102459 · f102459
1 parent ada79ce
commit f102459
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/gillian.json b/gillian.json
@@ -14,11 +14,10 @@
     "@opam/fmt": "^0.8.8",
     "@opam/dune": "^3.0",
     "@opam/memtrace": "0.2.3",
-    "@opam/menhir": "20220210",
+    "@opam/menhir": "20231231",
     "@opam/ppx_deriving_yojson": "*",
     "@opam/ppxlib": ">=0.18.0",
     "@opam/sqlite3": "5.0.2",
-    "@opam/uuidm": "0.9.7",
     "@opam/visitors": ">=2.3",
     "@opam/yojson": "^1.7.0",
     "@opam/zarith": ">=1.12",