diff --git a/src/base/Syntax.ml b/src/base/Syntax.ml index 0aeacdb6f..de34ab4d5 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, 9, 1) +let scilla_version = (0, 10, 0) let hash_length = 32