From 74faffa4233d70419e528483eb8942472e6a2521 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Tue, 17 Aug 2010 23:26:47 +0200 Subject: [PATCH] Mls printing order fix ( const at top of program ) --- compiler/minils/mls_printer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 "@?" )