From 22302031d759d0c2af946af5ad192f578a3307d7 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 13 Jan 2024 17:24:43 +0000
Subject: Add missing type to TypeInfos.supertypes()

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

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java b/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java
index 4a49cd48..22f68b38 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeInfos.java
@@ -141,7 +141,7 @@ public class TypeInfos {
                 this.structSupertypes.getOrDefault(structType, P.orderedSet())
             );
         }
-        supertypes.plus(Types.TOP);
+        supertypes = supertypes.plus(Types.TOP);
         return supertypes;
     }
 
-- 
cgit v1.2.3