From 37dfcdda35b7ce780af40b0c97a30ee5aafd5c73 Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Sun, 18 Dec 2022 14:42:26 +0100 Subject: [PATCH] Remove unneeded node prototypes, as Lustre only allows to call already defined nodes --- src/ast_to_c.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml index ef77938..746e2a8 100644 --- a/src/ast_to_c.ml +++ b/src/ast_to_c.ml @@ -312,9 +312,8 @@ let ast_to_c (debug: bool) prog = else () in let prog: i_nodelist = ast_to_intermediate_ast prog prog_st_types in - Format.printf "%a\n\n%a\n\n/* Node Prototypes: */\n%a\n\n/* Nodes: */\n%a" + Format.printf "%a\n\n%a\n\n/* Nodes: */\n%a" cp_includes (Config.c_includes) cp_state_types prog_st_types - cp_prototypes (prog, prog_st_types) cp_nodes (prog, prog_st_types)