X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.ml;h=470019835472be0a7880294d36f4c4a0e5163b59;hb=ebc089606ccbb3e9dbde142542a1f98f5020b4dd;hp=12d5ca1e8e0954ee9964eefeb0921dd74c00960f;hpb=634d7df44ef5d308a667cb3244e0eb0b9a8ff78e;p=helm.git

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index 12d5ca1e8..470019835 100644
--- a/helm/ocaml/cic_transformations/ast2pres.ml
+++ b/helm/ocaml/cic_transformations/ast2pres.ml
@@ -100,7 +100,8 @@ let is_big t =
 
 let map_attribute =
   function
-      `Loc (n,m) -> 
+      `Loc floc -> 
+        let (n, m) = CicAst.loc_of_floc floc in
         (Some "helm","loc",(string_of_int n)^" "^(string_of_int m))
     | `IdRef s -> 
         (Some "helm","xref",s)