Simplify querying the current line separator

wala · Sep 23, 2024 · d843bb8 · d843bb8
1 parent a0e60f0
commit d843bb8
Showing 1 changed file with 1 addition and 1 deletion.
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;
   }