tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / ocaml-modules / elpi / atd_2_10.patch
at netboot-syslinux-multiplatform 13 lines 493 B view raw
1diff --git a/src/elpi_trace_elaborator.ml b/src/elpi_trace_elaborator.ml 2index ca13114d..093e7593 100644 3--- a/src/elpi_trace_elaborator.ml 4+++ b/src/elpi_trace_elaborator.ml 5@@ -664,6 +664,6 @@ let main = 6 7 let cards = Trace.cards steps ~stack_frames ~aggregated_goal_success ~goal_text ~goal_attempts in 8 9- let ob = Bi_outbuf.create_channel_writer stdout in 10+ let ob = Buffer.create 17 in 11 write_trace ob cards; 12- Bi_outbuf.flush_channel_writer ob 13+ Buffer.output_buffer stdout ob