From 002aab32f5f68d5399a679100df40ffd8627c217 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Mon, 25 Dec 2023 11:48:38 +0000
Subject: Reference StructType instead of StructuredType

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

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
index 7f86b3ef..27111fd5 100644
--- a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
+++ b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
@@ -30,7 +30,7 @@ public class TypeSubstitution {
 
             case StringType stringType -> type;
 
-            case StructuredType structuredType -> {
+            case StructType structType -> {
                 throw new UnsupportedOperationException("TODO");
             }
 
-- 
cgit v1.2.3