X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fmmlinterface.ml;h=d364ffe4b0257efbff9d48eb0da54a8742f83741;hb=413a5e0b1fde6296a09a6651cef7948bc408c6e4;hp=76f6e5a78940b291aefc4d8905bf5f6aa8ff19b9;hpb=e4ae880d435c1b46be0e900a675d2e6e4aaac837;p=helm.git

diff --git a/helm/interface/mmlinterface.ml b/helm/interface/mmlinterface.ml
index 76f6e5a78..d364ffe4b 100755
--- a/helm/interface/mmlinterface.ml
+++ b/helm/interface/mmlinterface.ml
@@ -385,7 +385,7 @@ let mktree selection_changed rendering_window =
              ignore(treeitem2#connect#select
               (selection_changed rendering_window uri)) ;
              aux treeitem2 ti
-         ) !content
+         ) (List.sort compare !content)
    | _ -> ()
  in
   aux