X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FlexiconAst.ml;h=5a09d590a86c9c66e5affa57559b88eea5a94b63;hb=ac31c84bb9bcf327554976d4296d787853fc8db5;hp=65bb7ce64657b7a805af49feb64259175972f8b1;hpb=abd2098b6c4a40b36bb4b950c607eb4b4a7852bc;p=helm.git

diff --git a/helm/software/components/lexicon/lexiconAst.ml b/helm/software/components/lexicon/lexiconAst.ml
index 65bb7ce64..5a09d590a 100644
--- a/helm/software/components/lexicon/lexiconAst.ml
+++ b/helm/software/components/lexicon/lexiconAst.ml
@@ -27,7 +27,7 @@
 
 type direction = [ `LeftToRight | `RightToLeft ]
 
-type loc = Token.flocation
+type loc = Stdpp.location
 
 type alias_spec =
   | Ident_alias of string * string        (* identifier, uri *)