fix clock printing in Velus mode

src/velus_printer.ml

@@ -41,10 +41,10 @@ let pp_var_clock fmt id =
     match ck.cdesc with
     | Carrow _ | Ctuple _ | Cvar | Cunivar ->
       ()
-    | Con (ck, c, "true") ->
-      fprintf fmt "%a when %a" pp_suffix ck print_carrier c
-    | Con (ck, c, "false") ->
-      fprintf fmt "%a when not %a" pp_suffix ck print_carrier c
+    | Con (_ck, c, "true") ->
+      fprintf fmt " when %a" print_carrier c
+    | Con (_ck, c, "false") ->
+      fprintf fmt " when not %a" print_carrier c
     | Con _ ->
       error_ns "Generalized clocks"
     | Clink ck' ->