Correct typo in verification that nodes always have arguments and make the main having such a verification too, as in Lustre

This commit is contained in:
Benjamin Loison 2022-12-16 00:00:11 +01:00
parent 21d2d0c9bb
commit 0c8da12afe

View File

@ -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,