diff options
| author | Alasdair Armstrong | 2018-06-07 06:23:10 +0100 |
|---|---|---|
| committer | GitHub | 2018-06-07 06:23:10 +0100 |
| commit | 27a88d181e8d01b042730b2aac7e19867aa10548 (patch) | |
| tree | 5c08fff0e02d037fbbf75654390cc5954c8a3b2c /src/spec_analysis.ml | |
| parent | 1f88b4812916a56df8d5ff8c09ac56c8e4086be4 (diff) | |
| parent | 79d97f22469bc7417ad3f27d6c8706f331b67b53 (diff) | |
Merge pull request #14 from lastland/sail2
Fix a typo.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions