diff options
| -rw-r--r-- | tools/coqdoc/tokens.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/coqdoc/tokens.ml b/tools/coqdoc/tokens.ml index 7c6c1f092..f159e9911 100644 --- a/tools/coqdoc/tokens.ml +++ b/tools/coqdoc/tokens.ml @@ -15,7 +15,10 @@ (code copied from parsing/lexer.ml4 for the use of coqdoc, Apr 2010) *) -module CharMap = Map.Make (struct type t = char let compare = compare end) +module CharMap = Map.Make (struct + type t = char + let compare (x : t) (y : t) = compare x y +end) type ttree = { node : string option; |