testing a bug

formal-land · May 21, 2024 · df6f633 · df6f633
1 parent 3072f0c
commit df6f633
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main.py b/main.py
@@ -353,7 +353,7 @@ def generate_stmt(indent, node: ast.stmt):
             generate_indent(indent + 2) + "ltac:(M.monadic (\n" + \
             generate_stmts(indent + 3, node.body) + "\n" + \
             generate_indent(indent + 2) + ")),\n" + \
-            generate_indent(indent + 2) + "ltac:(M.monadic (\n" + \
+            generate_indent(indent + 2) + "ltac:(M.monandic (\n" + \
             generate_stmts(indent + 3, node.orelse) + "\n" + \
             generate_indent(indent + 2) + "))\n" + \
             generate_indent(indent) + "|) in"