Fix small glitch in chain reset script

This commit is contained in:
Benjamin Canou 2018-07-03 13:39:39 +02:00
parent 322710c56c
commit 467a32f180

View File

@ -56,7 +56,7 @@ let _ =
let sed =
Format.sprintf
"sed -E -i \
-e 's/name = \"(TEZOS[A_Z]+)[^\"]*\" ;/name = \"\\1%s\" ;/' \
-e 's/name = \"(TEZOS[_A-Z]+)[^\"]*\" ;/name = \"\\1%s\" ;/' \
../src/lib_shell/distributed_db_message.ml"
date