diff options
Diffstat (limited to 'parsing/lexer.ml4')
| -rw-r--r-- | parsing/lexer.ml4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4 index 81cfd3f1d..680139b12 100644 --- a/parsing/lexer.ml4 +++ b/parsing/lexer.ml4 @@ -14,7 +14,8 @@ open Tok (* Dictionaries: trees annotated with string options, each node being a map from chars to dictionaries (the subtrees). A trie, in other words. *) -module CharMap = Map.Make (struct type t = char let compare = compare end) +module CharOrd = struct type t = char let compare : char -> char -> int = compare end +module CharMap = Map.Make (CharOrd) type ttree = { node : string option; |