From 8f413150c3be35a317ff5a03320ee03891603216 Mon Sep 17 00:00:00 2001
From: Yingbo Ma <mayingbo5@gmail.com>
Date: Mon, 19 Feb 2024 12:22:01 -0500
Subject: [PATCH] Fix state machine operator printing

---
 src/operators.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/operators.jl b/src/operators.jl
index a986ee50a..15a9ce767 100644
--- a/src/operators.jl
+++ b/src/operators.jl
@@ -15,7 +15,8 @@ for (s, T) in [(:timeInState, :Real),
             if isempty(args)
                 print(io, $s, "()")
             else
-                print(io, $s, "(", nameof(only(args)), ")")
+                arg = only(args)
+                print(io, $s, "(", arg isa Number ? arg : nameof(arg), ")")
             end
         end
     end