Update printing of node type parameters to match syntax

kind2-mc · Jul 11, 2024 · 249c1bf · 249c1bf
1 parent 1e02b7a
commit 249c1bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lustre/lustreAst.ml b/src/lustre/lustreAst.ml
@@ -745,7 +745,7 @@ let pp_print_const_decl ppf = function
 
 (* Pretty-print a single static node parameter *)
 let pp_print_node_param ppf t = 
-    Format.fprintf ppf "type %a" pp_print_ident t
+    Format.fprintf ppf "%a" pp_print_ident t
 
 
 (* Pretty-print a list of static node parameters *)