]> matita.cs.unibo.it Git - helm.git/blobdiff - components/lexicon/lexiconAst.ml
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / lexicon / lexiconAst.ml
index 65bb7ce64657b7a805af49feb64259175972f8b1..5a09d590a86c9c66e5affa57559b88eea5a94b63 100644 (file)
@@ -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 *)