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"