Support space in charset

usethesource · Jul 16, 2024 · 47c7ac9 · 47c7ac9
1 parent 0b39033
commit 47c7ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/library/Prelude.java b/src/org/rascalmpl/library/Prelude.java
@@ -3070,7 +3070,7 @@ public IString trim(IString s) {
 	}
 
 	public IString squeeze(IString src, IString charSet) {
-		if (charSet.getValue().isBlank()) {
+		if (charSet.getValue().isEmpty()) {
 			return src;
 		}
 		final Pattern isCharset = Pattern.compile("[" + charSet.getValue() + "]", Pattern.UNICODE_CHARACTER_CLASS);