Revert "resolve infoview/loader?"

This reverts commit 6de4477.
leanprover-community · Jul 26, 2024 · f4d9996 · f4d9996
1 parent 6de4477
commit f4d9996
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/vite.config.ts b/vite.config.ts
@@ -57,7 +57,6 @@ export default defineConfig({
   resolve: {
     alias: {
       path: "path-browserify",
-      '@leanprover/infoview/loader': path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/loader.production.min.js')
     },
   },
 })