We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1d7b8ac commit 41c1ba8Copy full SHA for 41c1ba8
trunk/source/BoogiePLParser/META-INF/MANIFEST.MF
@@ -12,7 +12,6 @@ Bundle-ActivationPolicy: lazy
12
Bundle-RequiredExecutionEnvironment: JavaSE-21
13
Export-Package: de.uni_freiburg.informatik.ultimate.boogie.parser;
14
uses:="org.eclipse.core.runtime,
15
- com.github.jhoenicke.javacup.runtime,
16
de.uni_freiburg.informatik.ultimate.model.boogie.ast,
17
de.uni_freiburg.informatik.ultimate.model,
18
org.osgi.framework,
0 commit comments