diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
index bc24a2546a22c0a4f3d60622389b1d623f5a6a8b..8087d36ade5702052ab18cbe8c46fbf5ada74e36 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -139,9 +139,12 @@ public final class ContextTranslator extends AbstractComponentTranslator {
 
 		for (final ISCConstant constant : constants) {
 			if (constant.hasAttribute(UNITATTRIBUTE)) {
-				pragmas.add(new UnitPragma(getResource(), constant
-						.getIdentifierString(), constant
-						.getAttributeValue(UNITATTRIBUTE)));
+				String content = constant.getAttributeValue(UNITATTRIBUTE);
+
+				if (!content.isEmpty()) {
+					pragmas.add(new UnitPragma(getResource(), constant
+							.getIdentifierString(), content));
+				}
 			}
 		}
 	}
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index db29b3ae320fe4d26ef8f30195d9087f80ba93e8..67c9e62dad4399ce2256076dd7efc7fd2667eda6 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -190,9 +190,12 @@ public class ModelTranslator extends AbstractComponentTranslator {
 
 		for (final IVariable variable : variables) {
 			if (variable.hasAttribute(UNITATTRIBUTE)) {
-				pragmas.add(new UnitPragma(getResource(), variable
-						.getIdentifierString(), variable
-						.getAttributeValue(UNITATTRIBUTE)));
+				String content = variable.getAttributeValue(UNITATTRIBUTE);
+
+				if (!content.isEmpty()) {
+					pragmas.add(new UnitPragma(getResource(), variable
+							.getIdentifierString(), content));
+				}
 			}
 		}
 	}