From 843cf2194ba3db2c44adf6266044ef1d95ecd224 Mon Sep 17 00:00:00 2001
From: Martin Henz <henz@comp.nus.edu.sg>
Date: Tue, 14 Apr 2020 13:45:39 +0800
Subject: [PATCH] bump

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 58fd3a62a..a4746e7ed 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "js-slang",
-  "version": "0.4.30",
+  "version": "0.4.31",
   "description": "Javascript-based implementations of Source, written in Typescript",
   "keywords": [
     "JavaScript",