Commit 83cbbdb8 authored by Sylvain Dailler's avatar Sylvain Dailler

Removed unused exception. Patched lexer.mli.

parent e65c9dc2
......@@ -11,4 +11,6 @@
val parse_term : Lexing.lexbuf -> Ptree.term
val parse_list_ident: Lexing.lexbuf -> Ptree.ident list
val parse_program_file : Ptree.incremental -> Lexing.lexbuf -> unit
......@@ -49,9 +49,6 @@ let print_map_binding key_to_str value_pr fmt binding =
let (key, value) = binding in
print_json_field (key_to_str key) value_pr fmt value
(* TODO document this exception *)
exception Bad_value
let map_bindings key_to_str value_pr fmt map_bindings =
if map_bindings = [] then fprintf fmt "null"
else
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment