From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 15 Nov 2002 18:08:51 +0000 (+0000)
Subject: Bug fixed: conjectures were printed in the wrong order.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87b98314c08ec399096f87a8e06d30234d7cc498;p=helm.git

Bug fixed: conjectures were printed in the wrong order.
---

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 =