From a63464d29b7dcf73d0aafcf5e8cb519561b80eac Mon Sep 17 00:00:00 2001
From: henz <henz@comp.nus.edu.sg>
Date: Tue, 15 Apr 2025 08:23:06 +0800
Subject: [PATCH] bumping version

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

diff --git a/package.json b/package.json
index 8f9c05eb3..d598b2335 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "js-slang",
-  "version": "1.0.80",
+  "version": "1.0.82",
   "license": "Apache-2.0",
   "description": "Javascript-based implementations of Source, written in Typescript",
   "keywords": [