From 752864899cc7dc50c368d854734341bcb55eda6f Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 3 Jan 2013 13:52:49 +0100
Subject: [PATCH] wrap the content of the unit pragma in a list, to get closers
to what happens for regular B
---
.../src/de/prob/core/translator/pragmas/UnitPragma.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java b/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java
index 851fa593..9c5e1332 100644
--- a/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java
+++ b/de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java
@@ -19,7 +19,9 @@ public class UnitPragma implements IPragma {
pout.printAtom("unit");
pout.printAtom(definedIn);
pout.printAtom(attachedTo);
+ pout.openList();
pout.printAtom(content);
+ pout.closeList();
pout.closeTerm();
}
--
GitLab