Merge branch 'master' into replace-while-with-do-while

wala · Sep 23, 2024 · 38054f3 · 38054f3
2 parents f884749 + d843bb8
commit 38054f3
Show file tree

Hide file tree

Showing 3 changed files with 44 additions and 9 deletions.
diff --git a/.idea/inspectionProfiles/No_Back_Sliding.xml b/.idea/inspectionProfiles/No_Back_Sliding.xml
diff --git a/.idea/ktfmt.xml b/.idea/ktfmt.xml
diff --git a/core/src/main/java/com/ibm/wala/cfg/exc/inter/IntraprocAnalysisState.java b/core/src/main/java/com/ibm/wala/cfg/exc/inter/IntraprocAnalysisState.java
@@ -172,7 +172,7 @@ public String toString() {
       return "";
     }
 
-    final String ls = System.getProperty("line.separator");
+    final String ls = System.lineSeparator();
 
     return statesOfSsaVars + ls + valuesOfSsaVars + ls + numbersOfSsaVarsThatAreParemerters;
   }