diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java
index eec258d31b27c52b5d80ae0300be3750bb1f4753..bae579cab6bbafcb42dd0f4af91566dbca69da7b 100644
--- a/src/main/java/de/tla2b/analysis/TypeChecker.java
+++ b/src/main/java/de/tla2b/analysis/TypeChecker.java
@@ -671,7 +671,6 @@ public class TypeChecker extends BuiltInOPs implements BBuildIns, TranslationGlo
 
 			case OPCODE_unchanged:
 				return BoolType.getInstance().unify(expected);
-			}
 
 			/*
 			 * no TLA+ Built-ins