From 2d58080672f5affcb27b24a24e618691edf30d2c Mon Sep 17 00:00:00 2001 From: Vaivaswatha N Date: Mon, 24 May 2021 21:10:08 +0530 Subject: [PATCH] Prepare for bugfix release v0.10.1 (#993) --- 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 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