Bugfix: Actually use IcfgBuilder in BuchiAutomizerCInline_IcfgBuilder.xml toolchain

Author: schuessf

trunk/examples/toolchains/BuchiAutomizerCInline_IcfgBuilder.xml

@@ -5,7 +5,7 @@
 	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator"/>
 	<plugin id="de.uni_freiburg.informatik.ultimate.boogie.procedureinliner"/>
 	<plugin id="de.uni_freiburg.informatik.ultimate.boogie.preprocessor"/>
-	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder"/>
+	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.icfgbuilder"/>
 	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer"/>
 
 	</toolchain>