Fix rename conditions

KIT-TVA · Feb 14, 2024 · 66228ea · 66228ea
1 parent e53eb04
commit 66228ea
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/cbc/util/KeYFileContent.java b/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/cbc/util/KeYFileContent.java
@@ -366,6 +366,7 @@ private String getPreConditionsString(Map<String, OldReplacement> oldReplacement
 
 	    String result = String.join(" & ", preConditions);
 	    result = replaceThisWithSelf(result);
+	    result = renameCondition(result);
 
 		return replaceOldKeyword(result, oldReplacements);
 	}
@@ -378,6 +379,7 @@ private String getPostConditionsString(Map<String, OldReplacement> oldReplacemen
 
 		String result =  String.join(" & ", postConditions);
 		result = replaceThisWithSelf(result);
+		result = renameCondition(result);
 
 		return replaceOldKeyword(result, oldReplacements);
 	}