From 36e943351c55250fee4d63e6baa67c73659e314b Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 28 Jun 2012 16:29:07 +0200
Subject: [PATCH] add some more information to the exported model
---
de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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 641d4871..1c4d6be3 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();
--
GitLab