diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 716760c0caa9fb48ea24edb8ae13124af93932a4..40dc80c45ce02ca7fb90f8046e5ca709789d23e7 100644
--- 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