Skip to content
Snippets Groups Projects
Commit a98a94fb authored by Forget Julien's avatar Forget Julien
Browse files

Bug fix: remove unnecessary comma when printing a wlist with

only one value.
parent 88d76aaf
No related branches found
No related tags found
No related merge requests found
......@@ -155,8 +155,11 @@ let pp_annot out_f (loop, it) =
fprintf out_f "(%a,%d)" pp_loop_id loop it
let pp out_f (loop, (wl,last)) =
if (wl <> []) then
fprintf out_f "(%a;{%a,%d})" pp_loop_id loop
(pp_print_list
~pp_sep:(fun out_f () -> pp_print_text out_f ",")
(fun out_f w -> fprintf out_f "%d" w))
wl last
else
fprintf out_f "(%a;{%d})" pp_loop_id loop last
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment