From 41c7684b16b157f9334d919ff6e3574745e28ae3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Fri, 15 Nov 2024 14:58:33 +0100 Subject: [PATCH] Use xerces in Import-Package --- trunk/source/Library-PEA/META-INF/MANIFEST.MF | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/trunk/source/Library-PEA/META-INF/MANIFEST.MF b/trunk/source/Library-PEA/META-INF/MANIFEST.MF index ce670a162a8..18c47e4b80a 100644 --- a/trunk/source/Library-PEA/META-INF/MANIFEST.MF +++ b/trunk/source/Library-PEA/META-INF/MANIFEST.MF @@ -9,8 +9,7 @@ Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, net.sourceforge.czt, de.uni_freiburg.informatik.ultimate.boogie.preprocessor, de.uni_freiburg.informatik.ultimate.lib.boogieast, - de.uni_freiburg.informatik.ultimate.lib.util, - wrapped.xerces.xercesImpl + de.uni_freiburg.informatik.ultimate.lib.util Export-Package: de.uni_freiburg.informatik.ultimate.lib.pea, de.uni_freiburg.informatik.ultimate.lib.pea.modelchecking, de.uni_freiburg.informatik.ultimate.lib.pea.modelchecking.armc, @@ -22,3 +21,5 @@ Export-Package: de.uni_freiburg.informatik.ultimate.lib.pea, de.uni_freiburg.informatik.ultimate.lib.pea.util.z Bundle-RequiredExecutionEnvironment: JavaSE-21 Automatic-Module-Name: de.uni.freiburg.informatik.ultimate.lib.pea +Import-Package: org.apache.xerces.dom, + org.apache.xerces.parsers