Add hobgoblin definitions for Patio

1 files changed, 3 insertions, 3 deletions

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) {