diff --git a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java index 641d4871a3972b2d6f725801802547c7cfe74ac2..1c4d6be3cf7ad5b00e3305b3ddee3b10a61ea8d6 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java +++ b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java @@ -120,7 +120,8 @@ public class ExportNewCoreHandler extends AbstractHandler implements IHandler { TranslatorFactory.translate(root, new PrintWriter(fw)); fw.append('\n'); - fw.append("model(\"" + serialize(project) + "\")."); + fw.append("emf_model('" + root.getComponentName() + "',\"" + + serialize(project) + "\")."); } catch (TranslationFailedException e) { e.notifyUserOnce();