--- alt-ergo-2.3.0-free/sources/plugins/AB-Why3/dune.orig 2022-05-20 01:34:55.000000000 -0600
+++ alt-ergo-2.3.0-free/sources/plugins/AB-Why3/dune 2022-06-20 13:27:36.662944620 -0600
@@ -3,13 +3,13 @@
(menhir
(infer false)
- (flags --fixed-exception)
+ (flags --fixed-exception --table)
(modules why3_parser)
)
(library
(name ABWhy3Plugin)
- (libraries alt-ergo-lib alt-ergo-parsers)
+ (libraries alt-ergo-lib alt-ergo-parsers menhirLib)
(modules Why3_lexer Why3_parser Why3_loc Why3_ptree)
)