On 2016-03-11 17:27, Anton Bachin writes: > Alan, > > This doesn’t appear to be a problem in bisect-ppx-report. Since the > .out file format is unchanged from Bisect to Bisect_ppx, perhaps you > could install Bisect_ppx for the report tool, and try using that. Thank you for the suggestion, but as the workaround is fairly simple, I think I'll keep using it for the moment. Best, Alan -- OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO₂ (2016-02, Mauna Loa Obs.): 404.02