Merge remote-tracking branch 'origin/develop'

runtimeverification · Aug 22, 2024 · c90693b · c90693b
2 parents cf40e35 + 0055fe7
commit c90693b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/k-frontend/src/main/java/org/kframework/kil/UserList.java b/k-frontend/src/main/java/org/kframework/kil/UserList.java
@@ -18,13 +18,13 @@ public class UserList extends ProductionItem {
 
   public UserList(Sort sort, String separator) {
     this.sort = sort;
-    this.separator = separator.trim();
+    this.separator = separator;
     this.listType = ZERO_OR_MORE;
   }
 
   public UserList(Sort sort, String separator, String listType) {
     this.sort = sort;
-    this.separator = separator.trim();
+    this.separator = separator;
     this.listType = listType;
   }
 
@@ -58,7 +58,7 @@ public String getSeparator() {
   }
 
   public void setSeparator(String separator) {
-    this.separator = separator.trim();
+    this.separator = separator;
   }
 
   @Override