removed a comma

Kappa-Dev · Feb 6, 2025 · 0226211 · 0226211
1 parent 5aa5795
commit 0226211
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
@@ -709,7 +709,7 @@ let print_guard_mvbdu parameters error kappa_handler bdu_handler
     in
     let () =
       if with_comma then
-        Loggers.fprintf (Remanent_parameters.get_logger parameters) ", "
+        Loggers.fprintf (Remanent_parameters.get_logger parameters) ","
     in
     let loggers = Remanent_parameters.get_logger parameters in
     (* let () = Loggers.fprintf loggers "(" in *)