ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / cicNotationTag.ml

diff --git a/helm/ocaml/cic_notation/cicNotationTag.ml b/helm/ocaml/cic_notation/cicNotationTag.ml
index 53ac5e2d13416f505b241dc51f3cd9a87045d6cc..3cbffa2db885425ebc2ee84946ba9caf4eee5159 100644 (file)
--- 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