diff --git a/src/base/Syntax.ml b/src/base/Syntax.ml
index 64efcbe1b..d34978773 100644
--- a/src/base/Syntax.ml
+++ b/src/base/Syntax.ml
@@ -26,7 +26,7 @@ open Stdint
 exception SyntaxError of string * loc
 
 (* Version of the interpreter (major, minor, patch) *)
-let scilla_version = (0, 5, 0)
+let scilla_version = (0, 5, 1)
 
 type 'rep ident =
   | Ident of string * 'rep