X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FstateSet.ml;h=b97be4e45cd5a817478cb334f25bd4403d29cab4;hp=082ac8ebbf45d9e5a8ac4df11749ddc6b0f66bcf;hb=c1b43e1dcdb3d0960dbc50db9f226d68ad30c16e;hpb=43df500d1441955e3bc932be2e76318f759f7295

diff --git a/src/stateSet.ml b/src/stateSet.ml
index 082ac8e..b97be4e 100644
--- a/src/stateSet.ml
+++ b/src/stateSet.ml
@@ -22,6 +22,6 @@ let print ppf s =
     if is_empty s
     then fprintf ppf "ø"
     else
-      (Pretty.print_list ~sep:" " (State.print)) ppf (elements s) in
+      (Pretty.print_list ~sep:"," (State.print)) ppf (elements s) in
   fprintf ppf "{ %a }" p_set s