]> matita.cs.unibo.it Git - helm.git/blobdiff - components/grafite/grafiteAst.ml
Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).
[helm.git] / components / grafite / grafiteAst.ml
index b0c25bc1e361f2a8ea892bd3686c9b8fa80cbd96..a0bb2e4f95501a7018cf16520fcabafd32e79433 100644 (file)
@@ -27,7 +27,7 @@
 
 type direction = [ `LeftToRight | `RightToLeft ]
 
-type loc = Token.flocation
+type loc = Stdpp.location
 
 type ('term, 'lazy_term, 'ident) pattern =
   'lazy_term option * ('ident * 'term) list * 'term option