Hi, why does coqc send Print (and Check and Time) to stdout? Can this be disabled?
Why not just comment out the directives if you don't want them to print? (AFAIK, there's not currently a way to disable it, though you can Redirect
to a file. You can request a flag to disable the behavior, though. (I don't think it should be turned off unconditionally, though, as I depend on this in some of my projects.))
Last updated: Oct 13 2024 at 01:02 UTC