From 87b98314c08ec399096f87a8e06d30234d7cc498 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 15 Nov 2002 18:08:51 +0000 Subject: [PATCH] Bug fixed: conjectures were printed in the wrong order. --- helm/gTopLevel/cic2Xml.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/gTopLevel/cic2Xml.ml b/helm/gTopLevel/cic2Xml.ml index fa7d729d9..57d4fc7e4 100644 --- a/helm/gTopLevel/cic2Xml.ml +++ b/helm/gTopLevel/cic2Xml.ml @@ -295,7 +295,7 @@ let print_object uri ~ids_to_inner_sorts = (print_term ids_to_inner_sorts t) >] >]) - [<>] (List.rev conjectures) ; + [<>] conjectures ; X.xml_nempty "body" [] (print_term ids_to_inner_sorts bo) >] in let xml_for_current_proof_type = -- 2.39.2