From 59281f22d12ba238a105baac078222acb6f6f7e6 Mon Sep 17 00:00:00 2001 From: Vaivaswatha N Date: Tue, 20 Apr 2021 08:45:09 +0530 Subject: [PATCH] Update version in Syntax.ml to prepare for v0.10.0 (#980) --- src/base/Syntax.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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