diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index fd002d935f0..e89e176fcc3 100644 --- a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF @@ -27,6 +27,7 @@ Require-Bundle: org.junit, de.uni_freiburg.informatik.ultimate.source.smtparser, de.uni_freiburg.informatik.ultimate.reqparser, de.uni_freiburg.informatik.ultimate.pea2boogie, + de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation de.uni_freiburg.informatik.ultimate.lib.sifa, de.uni_freiburg.informatik.ultimate.plugins.sifa Import-Package: de.uni_freiburg.informatik.ultimate.lib.pea,