diff options
| author | Gabriel Kerneis | 2014-04-02 16:59:18 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-02 16:59:18 +0100 |
| commit | 249d3513317ddb73e60ebeb8576d3d8bed79807b (patch) | |
| tree | dd2789045e4ed42ff5c519fa0eca5e4fa6f61a51 /src/reporting_basic.ml | |
| parent | 52d90321c39712a1a028682d085d1e7d647b538d (diff) | |
eq and neq return bit, not bool
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions