From f4d9996b44aeca47e76304d60baee2f38b0b98b3 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 26 Jul 2024 10:08:41 +0200
Subject: [PATCH] Revert "resolve infoview/loader?"

This reverts commit 6de4477a3cdf4afd6e99586da82b42232ec147e2.
---
 vite.config.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/vite.config.ts b/vite.config.ts
index 601f524a..4b5e361e 100644
--- 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')
     },
   },
 })