is like

DanielXMoore · Jul 19, 2024 · 7e50c01 · 7e50c01
1 parent 38fb37c
commit 7e50c01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/util.civet b/source/util.civet
@@ -103,7 +103,7 @@ toS := (rule: HeraAST, depth=0): string ->
             "( " + terms.join(" / ") + " )" + hToS(h)
         }
       else
-        if typeof rule[0] is 'object' and "name" in rule[0]
+        if rule[0] is like { name }
           return toS(rule[1], depth+1) + `:${rule[0].name}${hToS(h)}`
         throw new Error `Unknown rule type: ${JSON.stringify(rule[0])}`
   else // String name of the rule