From e1a1f754aa1d556e9dc53d23459c93bc59ff5ecc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Thu, 15 Mar 2018 11:02:08 +0100 Subject: [PATCH] Fix indent in `gen_genesis.ml` --- scripts/gen_genesis.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/gen_genesis.ml b/scripts/gen_genesis.ml index e39e1101d..0eb2e4534 100644 --- a/scripts/gen_genesis.ml +++ b/scripts/gen_genesis.ml @@ -34,7 +34,7 @@ let sed = "sed -i \ -e 's/Time.of_notation_exn \"[^\\\"]*\"/Time.of_notation_exn \"%s\"/' \ -e 's/BLockGenesisGenesisGenesisGenesisGenesis.........../%s/' \ - ../src/bin_node/node_run_command.ml" + ../src/bin_node/node_run_command.ml" date genesis @@ -45,7 +45,7 @@ let sed = Format.sprintf "sed -i \ -e 's/name = \"TEZOS[^\"]*\" ;/name = \"TEZOS_%s\" ;/' \ - ../src/lib_shell/distributed_db_message.ml" + ../src/lib_shell/distributed_db_message.ml" date let _ =