X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flexicon%2FlexiconAst.ml;h=5a09d590a86c9c66e5affa57559b88eea5a94b63;hb=699d76ddae765f0a927648cddf624b540743f225;hp=65bb7ce64657b7a805af49feb64259175972f8b1;hpb=2499f5fdcf4dbfecc6f4fafe925b24ae76f14be8;p=helm.git

diff --git a/components/lexicon/lexiconAst.ml b/components/lexicon/lexiconAst.ml
index 65bb7ce64..5a09d590a 100644
--- a/components/lexicon/lexiconAst.ml
+++ b/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 *)