diff options
| author | Peter Sewell | 2014-11-23 00:59:21 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 00:59:21 +0000 |
| commit | 40dc7ff0fefce917b1a1a4f2d04514644a3c84cc (patch) | |
| tree | f4794394a7c2a966ccb0bd2af89efdd91da4213f /src/initial_check.ml | |
| parent | c5dc540e5b2fe0e4ef0ecb0d607cef60ac6d2c66 (diff) | |
fight with interface/impl mismatch. lose.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions