1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix
index a253285..3c8bc92 100644
--- a/default.nix
+++ b/default.nix
@@ -30,7 +30,7 @@ stdenv.mkDerivation {
 
   buildInputs = [ ncoq ocamlPackages.menhir dune
                   ocaml ocamlPackages.findlib bbv
-                  gcc
+                  gcc ocamlPackages.utop
                 ];
 
   enableParallelBuilding = true;