From 20e29c583a5a032d3c16fe8765d45e5a39eea8ae Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 28 Jul 2023 16:03:51 +0200
Subject: [PATCH] Tentatively add util-8.jar to compilation classpath; fix
 build

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index e50f7cae..a21113f6 100644
--- a/build.xml
+++ b/build.xml
@@ -4064,6 +4064,7 @@
         <fileset file="${artifacts.mps}/lib/mps-collections.jar" />
         <fileset file="${artifacts.mps}/lib/mps-references.jar" />
         <fileset file="${artifacts.mps}/lib/app.jar" />
+        <fileset file="${artifacts.mps}/lib/util-8.jar" />
         <fileset file="${artifacts.mps}/lib/app-client.jar" />
         <fileset file="${artifacts.mps}/lib/lib.jar" />
         <fileset file="${artifacts.mps}/lib/lib-client.jar" />