diff --git a/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java b/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java
index 20dffe8cd30d8211ec3f0143965d4e1555f17ea6..441f24e67722f27c8152fd80a71729879eab11e6 100644
--- a/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java
+++ b/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java
@@ -242,6 +242,10 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
 			IVariable[] allVariables = rootElement.getMachineRoot()
 					.getVariables();
 			for (IVariable var : allVariables) {
+				// reset inferred unit
+				var.setAttributeValue(InferredUnitPragmaAttribute.ATTRIBUTE,
+						"", new NullProgressMonitor());
+
 				String variableName = var.getIdentifierString();
 				if (variables.containsKey(variableName)) {
 					var.setAttributeValue(
@@ -288,6 +292,10 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
 					.getConstants();
 
 			for (IConstant cst : allConstants) {
+				// reset inferred unit
+				cst.setAttributeValue(InferredUnitPragmaAttribute.ATTRIBUTE,
+						"", new NullProgressMonitor());
+
 				String constantName = cst.getIdentifierString();
 				if (variables.containsKey(constantName)) {
 					cst.setAttributeValue(