diff --git a/reference-configuration.md b/reference-configuration.md index 102f3e6c4f18178e21f755aaa96e01bd82350602..3facc53b6bf61a6fda46b603fd64b6c877705336 100644 --- a/reference-configuration.md +++ b/reference-configuration.md @@ -8,7 +8,7 @@ compiling Frama-C 29.0. - dune-site.3.7.1 - lablgtk3.3.1.3 - lablgtk3-sourceview3.3.1.3 -- menhir.20211128 +- menhir.20211230 - ocamlfind.1.9.6 - ocamlgraph.2.1.0 - ppx_deriving_yaml.0.2.1