From d134b4ae7ffa844fea749848fdfc88d33723e730 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 11 Feb 2025 18:51:28 +0000
Subject: Add type arg

---
 .../shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java b/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java
index 711fa31c..29c675f3 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java
@@ -3,7 +3,7 @@ package org.shedlang.compiler.typechecker.typesets;
 import org.shedlang.compiler.types.TypeConstructor;
 import org.shedlang.compiler.types.TypeLevelValue;
 
-public final class TypeSetTypeConstructor implements TypeSetTypeLevelValue<TypeConstructor> {
+public final class TypeSetTypeConstructor implements TypeSetTypeLevelValue<TypeConstructor<?>> {
     private TypeSetTypeConstructor() {
     }
 
-- 
cgit v1.2.3