From 924780282799cf9a26e1f93d43c197af8828c6f0 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 2 Dec 2023 20:02:18 +0000
Subject: Remove unused interface

---
 src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java
index 545a198f..2dabfae0 100644
--- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java
+++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java
@@ -692,8 +692,4 @@ public record PatioCodeGenContext(
             source
         );
     }
-
-    public interface PatioLocalFactory {
-        PatioLocal create(String name, PatioType type);
-    }
 }
-- 
cgit v1.2.3