X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationTag.ml;h=3cbffa2db885425ebc2ee84946ba9caf4eee5159;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=53ac5e2d13416f505b241dc51f3cd9a87045d6cc;hpb=1ca0ec89cfc2c3f85af95d5b1bdad07597d976bd;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationTag.ml b/helm/ocaml/cic_notation/cicNotationTag.ml
index 53ac5e2d1..3cbffa2db 100644
--- a/helm/ocaml/cic_notation/cicNotationTag.ml
+++ b/helm/ocaml/cic_notation/cicNotationTag.ml
@@ -41,5 +41,5 @@ let get_tag term0 =
   in
   let term_mask = aux term0 in
   let tag = Hashtbl.hash term_mask in
-  tag, !subterms
+  tag, List.rev !subterms