From 0c8da12afe243ad92c9841cf1db6eaf4667396c4 Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Fri, 16 Dec 2022 00:00:11 +0100
Subject: [PATCH] Correct typo in verification that nodes always have arguments
 and make the `main` having such a verification too, as in Lustre

---
 src/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser.mly b/src/parser.mly
index c6a1305..134a77d 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -199,7 +199,7 @@ node_content:
           n_local_vars = $10;
           n_equations  = eqs;
           n_automata = aut; } in
-      if List.length (snd $10) = 0 && node_name <> "main"
+      if List.length t_in = 0
         then raise (MyParsingError
                     (Format.asprintf "The node %s should have arguments."
                       node_name,