Use xerces in Import-Package

ultimate-pa · Nov 15, 2024 · 41c7684 · 41c7684
1 parent 171987b
commit 41c7684
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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