diff options
| author | Robert Norton | 2016-07-28 11:23:37 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-28 11:23:37 +0100 |
| commit | 0d83a7f890799d3ebee7229ea8d5c2c9681a27c2 (patch) | |
| tree | f99afe364d5b81d132337bd79159f27c98fe491c /src/spec_analysis.mli | |
| parent | dc3efa53dd81eb3a3896e59a9300aba6969c5c48 (diff) | |
Complete another if statement with an empty else.
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions