X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fgetter.ml;h=39af104ccb3e38de26d64ec5e500d1e84cea7627;hb=21029c2bc06d1467c21763abe36aaaf7b8afd8ca;hp=21c1901a183722c4b2ac040964827f7353c4e06f;hpb=c01d2aaea05f7385bee46addd900cd0397756389;p=helm.git

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index 21c1901a1..39af104cc 100644
--- a/helm/interface/getter.ml
+++ b/helm/interface/getter.ml
@@ -115,8 +115,8 @@ let get uri =
  let module U = UriManager in
   get_file
    (U.uri_of_string
-    (Str.replace_first (Str.regexp "\.ann$") ""
-     (Str.replace_first (Str.regexp "\.types$") "" (U.string_of_uri uri))))
+    (Str.replace_first (Str.regexp "\.types$") ""
+     (Str.replace_first (Str.regexp "\.ann$") "" (U.string_of_uri uri))))
 ;;
 
 (* get_ann : uri -> filename *)