From 36412d405558bb14818108a3ce6ef1c71c3fe2ed Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 19 Nov 2023 10:44:07 +0000
Subject: Call valueStream() instead of entryStream()

---
 src/main/java/org/shedlang/compiler/types/FieldsInfo.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/java')

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
-- 
cgit v1.2.3