From 2df7644f5bb8c1fc0345cd94807c7cf284c980fb Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 7 Sep 2018 11:37:17 +0200
Subject: Add utop to default.nix for use in nix-shell (see #8426).

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

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 35da15eebd..80dca47f69 100644
--- a/default.nix
+++ b/default.nix
@@ -76,7 +76,7 @@ stdenv.mkDerivation rec {
   )
   ++ optionals shell (
     [ jq curl git gnupg ] # Dependencies of the merging script
-    ++ (with ocamlPackages; [ merlin ocp-indent ocp-index ]) # Dev tools
+    ++ (with ocamlPackages; [ merlin ocp-indent ocp-index utop ]) # Dev tools
   );
 
   src =
-- 
cgit v1.2.3