diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index dd673d8bcbf1ad8102b306605523c61fa309b101..447ab988534106ef146129b491fe1d3735c2bcf8 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -393,7 +393,7 @@ public class BOperation extends BuiltInOPs implements ASTConstants,
 						       findUnchangedVariablesInOpApplNode(obody);
 						    }
 						} else if(!(var.getOperator() instanceof OpDeclNode)) {
-							throw new RuntimeException("cannot convert to list of unchanged variables: " + var.getOperator().getName() + " " + var.getLocation());
+							throw new RuntimeException("Cannot convert to list of UNCHANGED variables: " + var.getOperator().getName() + " " + var.getLocation());
 						} else {
 							unchangedVariablesList.add((OpDeclNode) var
 									.getOperator());
@@ -408,10 +408,6 @@ public class BOperation extends BuiltInOPs implements ASTConstants,
 		}
 	}
 	
-	
-	private void addUnchangedVariablesInOpApplNodeTuple(OpApplNode k) {
-	
-	}
 
 }