From c70f5fc0d0bb55b0ba1a8b1c1ec5d5b1205e1ca9 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 22 Oct 2023 22:54:43 +0100
Subject: Fix name of Patio backend

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

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/backends/PatioBackend.java b/src/main/java/org/shedlang/compiler/backends/PatioBackend.java
index e4edc9bf..9e444cee 100644
--- a/src/main/java/org/shedlang/compiler/backends/PatioBackend.java
+++ b/src/main/java/org/shedlang/compiler/backends/PatioBackend.java
@@ -38,6 +38,6 @@ public class PatioBackend implements Backend {
 
     @Override
     public String name() {
-        return "generate-instructions";
+        return "patio";
     }
 }
-- 
cgit v1.2.3