From 29bef31ac5f1fe744afa84f02fc55941733a5dab Mon Sep 17 00:00:00 2001 From: Vaivaswatha Nagaraj Date: Tue, 29 Jan 2019 13:33:13 +0530 Subject: [PATCH] prepare for release-v0.1.0 --- src/lang/base/Syntax.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lang/base/Syntax.ml b/src/lang/base/Syntax.ml index b5e3c3ca1..e8f45ad41 100644 --- a/src/lang/base/Syntax.ml +++ b/src/lang/base/Syntax.ml @@ -26,7 +26,7 @@ open Stdint exception SyntaxError of string (* Version of the interpreter (major, minor, patch) *) -let scilla_version = (0, 0, 4) +let scilla_version = (0, 1, 0) type 'rep ident = | Ident of string * 'rep