diff --git a/compiler/minils/mls_printer.ml b/compiler/minils/mls_printer.ml index 3fc99a1..937bbd5 100644 --- a/compiler/minils/mls_printer.ml +++ b/compiler/minils/mls_printer.ml @@ -221,7 +221,7 @@ let print oc { p_opened = pm; p_types = pt; p_nodes = pn; p_consts = pc } = let ff = formatter_of_out_channel oc in ( List.iter (print_open_module ff) pm; - List.iter (print_type_dec ff) pt; List.iter (print_const_dec ff) pc; + List.iter (print_type_dec ff) pt; List.iter (print_node ff) pn; fprintf ff "@?" )