remove a comma

Kappa-Dev · Feb 4, 2025 · 8ae342c · 8ae342c
1 parent 3473d44
commit 8ae342c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/KaSa_rep/frontend/handler.ml b/core/KaSa_rep/frontend/handler.ml
@@ -730,7 +730,7 @@ let print_guard_mvbdu parameters error kappa_handler bdu_handler
                       string_of_guard parameters guard_name kappa_handler
                         ~state:value error
                     in
-                    if add_comma then Loggers.fprintf loggers ", ";
+                    if add_comma then Loggers.fprintf loggers ",";
                     let () = Loggers.fprintf loggers "%s" guard_string in
                     error, ()
                   | Ckappa_sig.Site _ ->