diff --git a/package-lock.json b/package-lock.json
index d0d0a89c..80fadfcc 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
     "name": "eth-scribble",
-    "version": "0.5.5",
+    "version": "0.5.6",
     "lockfileVersion": 1,
     "requires": true,
     "dependencies": {
diff --git a/package.json b/package.json
index fc729149..5f287681 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "eth-scribble",
-    "version": "0.5.5",
+    "version": "0.5.6",
     "description": "A Solidity runtime verification tool for property based testing",
     "keywords": [],
     "files": [