[ci] fix internal tests

6636af02 · Allan Blanchard · 76c3e581 · 6636af02
Commit 6636af02 authored Jan 17, 2023 by Allan Blanchard
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -23,6 +23,7 @@
 , lablgtk3
 , lablgtk3-sourceview3
 , ltl2ba
+, menhir
 , menhirLib
 , mlmpfr
 , ocaml
@@ -78,6 +79,7 @@ stdenvNoCC.mkDerivation rec {
    lablgtk3
    lablgtk3-sourceview3
    ltl2ba
+    menhir
    menhirLib
    mlmpfr
    ocaml