Commit c9df54e0 authored by David Hauzar's avatar David Hauzar

Minor: small refactoring of model_parser.print_model_json.

parent 7573c8b4
......@@ -283,7 +283,7 @@ let print_model_elements_on_lines_json me_name_to_str fmt model_file =
let print_model_json
?(me_name_trans = why_name_trans)
fmt
~model =
model =
let me_name_to_str = fun me ->
me_name_trans (me.me_name, me.me_type) in
Json.map_bindings
......@@ -295,7 +295,7 @@ let print_model_json
let model_to_string_json
?(me_name_trans = why_name_trans)
model =
print_model_json str_formatter ~me_name_trans ~model;
print_model_json str_formatter ~me_name_trans model;
flush_str_formatter ()
......
......@@ -132,7 +132,7 @@ val model_to_string :
val print_model_json :
?me_name_trans:((string * model_element_type) -> string) ->
Format.formatter ->
model:model ->
model ->
unit
(** Prints counter-example model to json format.
......
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