From c530682030e80ee2de2c263471e5eda7a3392e84 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:07:56 -0300
Subject: working vm: parser, admission with totality checks, solver and repl

---
 dune-project | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 138c21c..0a36d26 100644
--- a/dune-project
+++ b/dune-project
@@ -2,6 +2,8 @@
 
 (name sol)
 
+(using menhir 2.1)
+
 (generate_opam_files true)
 
 (license AGPL-3.0-only)
@@ -19,4 +21,5 @@
   (ocaml
    (>= 5.1))
   zarith
+  (menhir :build)
   (alcotest :with-test)))
-- 
cgit v1.2.3