diff options
| author | Kathy Gray | 2014-10-20 17:15:21 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-10-20 17:15:21 +0100 |
| commit | ce0f3308c6b460243e48842d55ccbddd3af61ec0 (patch) | |
| tree | eb4978119c50d8e135b4a99db3919f40dd846767 /src/reporting_basic.ml | |
| parent | 1dac8366337233d7969c8f63288a9a031960bacd (diff) | |
Catch more types in constructor parameters
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions