diff options
| author | Kathy Gray | 2016-09-28 12:48:02 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-09-28 12:48:13 +0100 |
| commit | 53f0a1efc8b9f27c60ce44286020b0939507d444 (patch) | |
| tree | d77742fbfdaaf14561862c0f82fee920b7d35540 /src/spec_analysis.mli | |
| parent | 764ce21594d77d188e477db8306b3e649075cf0a (diff) | |
Fix type checking bug that was missing unifications for nats
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions