Commit b69a4905 authored by Sylvain Dailler's avatar Sylvain Dailler

Fix correct json printing for labels.

parent 468ace60
......@@ -596,7 +596,7 @@ let interleave_with_source
source_code, locations
let print_labels_json (me: model_element_name) fmt =
Json_base.list Pretty.print_label fmt (Slab.elements me.men_labels)
Json_base.list (fun fmt lab -> Json_base.string fmt lab.lab_string) fmt (Slab.elements me.men_labels)
** Quering the model - json
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