fix: export index.production.min.js (#518)

leanprover · Oct 15, 2024 · 4fa4093 · 4fa4093
1 parent 4f2a86e
commit 4fa4093
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
     },