From d843bb898de6b363448e8b6aecae858c7cb28afa Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@acm.org>
Date: Sun, 22 Sep 2024 18:02:00 -0400
Subject: [PATCH] Simplify querying the current line separator

---
 .../java/com/ibm/wala/cfg/exc/inter/IntraprocAnalysisState.java | 2 +-
 1 file changed, 1 insertion(+), 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
index 76c5adf783..6a30b379d8 100644
--- 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;
   }