Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).

[helm.git] / components / content_pres / cicNotationParser.ml

diff --git a/components/content_pres/cicNotationParser.ml b/components/content_pres/cicNotationParser.ml
index d110bda9a65d10b6cabfc0074a798e5bd7040786..05075f0c3f2f9d8981747e913212fd3dcbcdd8e4 100644 (file)
--- a/components/content_pres/cicNotationParser.ml
+++ b/components/content_pres/cicNotationParser.ml
@@ -224,7 +224,7 @@ let level_of precedence associativity =
   in
   string_of_int precedence ^ assoc_string
 
-type rule_id = Token.t Gramext.g_symbol list
+type rule_id = Grammar.token Gramext.g_symbol list
 
   (* mapping: rule_id -> owned keywords. (rule_id, string list) Hashtbl.t *)
 let owned_keywords = Hashtbl.create 23