Fix bug with stories in app, introduced in 9cff2ad

Kappa-Dev · Apr 26, 2024 · 33dc1af · 33dc1af
1 parent f319133
commit 33dc1af
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/core/api/kappa_facade.ml b/core/api/kappa_facade.ml
@@ -242,10 +242,9 @@ let outputs (simulation : t) = function
  | Data.Log s -> Format.fprintf simulation.log_form "%s@." s
  | Data.Warning (pos, msg) -> Data.print_warning ?pos simulation.log_form msg
  | Data.TraceStep st ->
- if Buffer.length simulation.trace <> 0 then (
- let () = Buffer.add_char simulation.trace ',' in
- Trace.write_step simulation.trace st
- )
+ if Buffer.length simulation.trace <> 0 then
+ Buffer.add_char simulation.trace ',';
+ Trace.write_step simulation.trace st
 
 let interactive_outputs formatter t = function
  | Data.Log s -> Format.fprintf formatter "%s@." s