From 663b2a6345eda40f2d0083bb9da9f351915ed43c Mon Sep 17 00:00:00 2001
From: bessw <56679598+bessw@users.noreply.github.com>
Date: Thu, 11 Jul 2024 22:21:02 +0200
Subject: [PATCH] fix deploy/run-file, removed conflicting lib folder from
 class path as it is not used anymore.

---
 deploy/run-file | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy/run-file b/deploy/run-file
index 4efe22e31a..abb96e240f 100644
--- a/deploy/run-file
+++ b/deploy/run-file
@@ -3,4 +3,4 @@
 # This is like run except that it automatically loads an msl file passed as an argument.
 # You may want to associate the msl file ending with this script.
 dir="$(dirname $0)"
-java -Xmx8192m -cp "$dir/lib/*:$dir/mmt.jar" info.kwarc.mmt.api.frontend.Run :file $1
+java -Xmx8192m -cp "$dir/mmt.jar" info.kwarc.mmt.api.frontend.Run :file $1