From 848799ce080ed2abf2a6e3334a79078bfc29578b Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 12 Sep 2014 13:59:08 +0200
Subject: [PATCH] fix sequent name
---
.../de/prob/eventb/disprover/ui/export/ExportPOsHandler.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
index a2343405..ab350548 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
@@ -151,7 +151,7 @@ public class ExportPOsHandler extends AbstractHandler implements IHandler {
// disprover_po(Name,Context,Goal,Hyps,SelectedHyps)
pto.openTerm("disprover_po");
- pto.printAtom(proverSequent.toString());
+ pto.printAtom(ipoSequent.getElementName());
disproverContext.apply(modelAst);
--
GitLab