From ec319c9ec0acc975fcdfbfa2e378b82c9be9ab0a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 30 Aug 2020 14:03:40 +0100
Subject: Add RTLBlock intermediate language

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

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;
-- 
cgit