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 851fa5938811cd4ecef3bf0160e41489f9bcdfe8..9c5e1332b7198051a22b89b1c7c546395c9842e5 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();
 	}