name-matcher-parser needs menhir

AeneasVerif · Nov 4, 2024 · c20fc3b · c20fc3b
1 parent db4c21b
commit c20fc3b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -50,4 +50,5 @@
    visitors
    zarith
  )
+ (menhir :build)
 )