From 410fff7b7ecf6f36a0a46ab1d90553169e3728f1 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 31 Jul 2026 13:22:51 +0100
Subject: Add hobgoblin definitions for Patio

---
 src/test/java/org/shedlang/compiler/patio/instructions/Patio.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
index ec332d94..893ce60e 100644
--- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
+++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
@@ -326,14 +326,14 @@ public class Patio {
     public static PatioInstruction switch_(
         List<PatioLocalRef> destinations,
         PatioOperand value,
-        List<PatioSwitch.Case> cases,
+        List<PatioSwitchCase> cases,
         PatioBlock defaultBody
     ) {
         return new PatioSwitch(destinations, value, cases, defaultBody, Sources.NULL);
     }
 
-    public static PatioSwitch.Case switchCase(int value, PatioBlock body) {
-        return new PatioSwitch.Case(value, body, Sources.NULL);
+    public static PatioSwitchCase switchCase(int value, PatioBlock body) {
+        return new PatioSwitchCase(value, body, Sources.NULL);
     }
 
     public static PatioInstruction throw_(String exceptionTypeName, PatioOperand value) {
-- 
cgit v1.2.3