diff --git a/tests/automaton.node b/tests/automaton.node index 4070f34..297bfc1 100644 --- a/tests/automaton.node +++ b/tests/automaton.node @@ -11,7 +11,7 @@ let o = (not (not (l1 = l2))) and (l1 = l2) and true; tel -node auto (i: int) returns (o : int); +node main (i: int) returns (o : int); var x, y:int; let automaton