Project

General

Profile

Revision 45f0f48d src/parse.ml

View differences:

src/parse.ml
32 32
  | Undefined_token tok   -> fprintf fmt "undefined token '%s'" tok
33 33
  | Unfinished_string        -> fprintf fmt "unfinished string"
34 34
  | Unfinished_comment  -> fprintf fmt "unfinished comment"
35
  | Syntax_error               -> fprintf fmt "syntax error"
35
  | Syntax_error               -> fprintf fmt ""
36 36
  | Unfinished_annot        -> fprintf fmt "unfinished annotation"
37 37
  | Unfinished_node_spec -> fprintf fmt "unfinished node specification"
38 38
  | Annot_error s              -> fprintf fmt "impossible to parse the following annotation:@.%s@.@?" s

Also available in: Unified diff