From 3b032eb4ac4819d3e5da7e01c9b36fda2042dc0d Mon Sep 17 00:00:00 2001 From: Vaivaswatha N Date: Mon, 29 Jun 2020 14:18:19 +0530 Subject: [PATCH] Prepare for v0.7.1 release (#863) * Prepare for v0.8.0 release * Fix version to 0.7.1 --- 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 6e5042aa6..96f1582db 100644 --- a/src/base/Syntax.ml +++ b/src/base/Syntax.ml @@ -25,7 +25,7 @@ open Literal exception SyntaxError of string * loc (* Version of the interpreter (major, minor, patch) *) -let scilla_version = (0, 7, 0) +let scilla_version = (0, 7, 1) let address_length = 20