From 4fa4093d2edeea00880e038a4654dd6cb413b6b8 Mon Sep 17 00:00:00 2001
From: Shanghe Chen <onriv@outlook.com>
Date: Tue, 15 Oct 2024 16:29:29 +0800
Subject: [PATCH] fix: export index.production.min.js (#518)

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

diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
index 56f4871df..c5e180c83 100644
--- a/lean4-infoview/package.json
+++ b/lean4-infoview/package.json
@@ -9,7 +9,7 @@
         "test": "tsc -p test/tsconfig.json"
     },
     "exports": {
-        ".": "./dist/index.development.js",
+        ".": "./dist/index.production.min.js",
         "./loader": "./dist/loader.production.min.js",
         "./package.json": "./package.json"
     },