#295, cosmetics

ultimate-pa · Jan 27, 2018 · f20b036 · f20b036
1 parent 2e1a970
commit f20b036
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/...ni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSepIcfgTransformer.java b/...ni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSepIcfgTransformer.java
@@ -501,16 +501,14 @@ public void finish() {
 
 		mLogger.info("partitioning result:");
 		for (final ArrayGroup arrayGroup : mArrayToArrayGroup.values()) {
-			mLogger.info("\t location blocks for array group + " + arrayGroup);
+			mLogger.info("\t location blocks for array group " + arrayGroup);
 			for (int dim = 0; dim < arrayGroup.getDimensionality(); dim++) {
 				mLogger.info("\t at dimension " + dim);
 				mLogger.info("\t # array writes (possibly including 1 dummy write/NoStoreIndexInfo) : " +
 						mArrayGroupToDimensionToStoreIndexInfoPartition.get(arrayGroup, dim).getAllElements().size());
 				mLogger.info("\t # location blocks :" +
 						mArrayGroupToDimensionToStoreIndexInfoPartition.get(arrayGroup, dim).getAllEquivalenceClasses().size());
 			}
-
-
 		}
 
 		assert sanityCheck();