From 66de13fff2fb704024ec0729a4a941d54ad0edcf Mon Sep 17 00:00:00 2001
From: Antoine Grimod <antoine.grimod@gmail.com>
Date: Tue, 10 Jan 2023 00:39:50 +0100
Subject: [PATCH] added main to automaton.node

---
 tests/automaton.node | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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