From ccdb761bbb930bede5575b4d17a988b8b23b8558 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= <code@bnwr.net>
Date: Thu, 17 May 2018 10:36:40 +0800
Subject: [PATCH] Script/gen_genesis: load HACL

---
 scripts/gen_genesis.ml | 3 ++-
 scripts/reset_chain.sh | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/gen_genesis.ml b/scripts/gen_genesis.ml
index 0eb2e4534..288edb07f 100644
--- a/scripts/gen_genesis.ml
+++ b/scripts/gen_genesis.ml
@@ -5,7 +5,8 @@
 #require "lwt";;
 #require "lwt.unix";;
 #require "zarith";;
-#require "nocrypto";;
+#require "re";;
+#require "hacl";;
 #require "calendar";;
 #mod_use "../src/lib_stdlib/tzString.ml";;
 #mod_use "../src/lib_stdlib/option.ml";;
diff --git a/scripts/reset_chain.sh b/scripts/reset_chain.sh
index 238279abd..dd815e874 100755
--- a/scripts/reset_chain.sh
+++ b/scripts/reset_chain.sh
@@ -18,6 +18,6 @@ set -e
 
 cd scripts
 
-utop gen_genesis.ml
+ocaml gen_genesis.ml
 
 git commit -a -m "Reset the chain"