fix compile errors due to merging

KeYProject · Nov 5, 2024 · c9b9d2e · c9b9d2e
1 parent 99a66cd
commit c9b9d2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/speclang/ContractFactory.java b/key.core/src/main/java/de/uka/ilkd/key/speclang/ContractFactory.java
@@ -192,7 +192,7 @@ public DependencyContract dep(KeYJavaType containerType, IObserverFunction pm,
     }
 
     public DependencyContract dep(KeYJavaType kjt, LocationVariable targetHeap,
-                                  TranslatedDependencyContract dep, LocationVariable selfVar) {
+            TranslatedDependencyContract dep, LocationVariable selfVar) {
         final ImmutableList<LocationVariable> paramVars = tb.paramVars(dep.first(), false);
         assert (selfVar == null) == dep.first().isStatic();
         Map<LocationVariable, Term> pres = new LinkedHashMap<>();