diff --git a/src/base/Syntax.ml b/src/base/Syntax.ml index de34ab4d5..bd1d12f6d 100644 --- a/src/base/Syntax.ml +++ b/src/base/Syntax.ml @@ -25,7 +25,7 @@ open GasCharge exception SyntaxError of string * loc (* Version of the interpreter (major, minor, patch) *) -let scilla_version = (0, 10, 0) +let scilla_version = (0, 10, 1) let hash_length = 32