diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:44:07 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:44:07 +0000 |
| commit | 36412d405558bb14818108a3ce6ef1c71c3fe2ed (patch) | |
| tree | 836deb2fe2975a967616963b2dbb71f4c0549c16 /src/main/java | |
| parent | 5373f7c0441a03ae62dd28d0fa442c1094136bbe (diff) | |
Call valueStream() instead of entryStream()
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/types/FieldsInfo.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/FieldsInfo.java b/src/main/java/org/shedlang/compiler/types/FieldsInfo.java index 022456d5..80c68a61 100644 --- a/src/main/java/org/shedlang/compiler/types/FieldsInfo.java +++ b/src/main/java/org/shedlang/compiler/types/FieldsInfo.java @@ -52,7 +52,7 @@ public record FieldsInfo<T extends Type>(POrderedMap<String, FieldInfo<T>> field } public Stream<FieldInfo<T>> stream() { - return fields.entryStream().map(x -> x.getValue()); + return fields.valueStream(); } @Override |