1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java b/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java
index 2a869f9e..2ed6f5e9 100644
--- a/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java
+++ b/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java
@@ -58,6 +58,11 @@ public class PatioSerializer {
         serializeTree(tree, builder, 0);
     }
 
+    public static void serializeIntValue(PatioIntValue value, StringBuilder builder) {
+        var tree = intValueToTree(value);
+        serializeTree(tree, builder, 0);
+    }
+
     public static void serializeLocal(PatioLocal local, StringBuilder builder) {
         var tree = localToTree(local);
         serializeTree(tree, builder, 0);