From 8db9d63bad7c1e231b015df4f5ae1c80a97a28e6 Mon Sep 17 00:00:00 2001 From: Robin Leroy Date: Sat, 3 Feb 2024 18:35:17 +0100 Subject: [PATCH] = --- .../src/main/java/org/unicode/props/IndexUnicodeProperties.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java b/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java index b44e987b2..2b07bfb48 100644 --- a/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java +++ b/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java @@ -679,7 +679,7 @@ class IndexUnicodeProperty extends UnicodeProperty.BaseProperty { @Override public UnicodeSet getSet(PatternMatcher matcher, UnicodeSet result) { final long start = System.currentTimeMillis(); - super.getSet(matcher, result); + result = super.getSet(matcher, result); final long stop = System.currentTimeMillis(); final long Δt_in_ms = stop - start; if (Δt_in_ms > 500) {