diff options
| author | Thomas Bauereiss | 2019-04-16 18:45:45 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-04-16 18:45:45 +0100 |
| commit | 8be892e3653472bfc0fa7b38930e20b3fcf9f81b (patch) | |
| tree | 58b990feb3b1810ac5dbb5b47b2b8608eeb1528b /src/spec_analysis.mli | |
| parent | f95e09ef6f124f069f76d80c30b4f33bea3b543c (diff) | |
Remove unnecessary assert
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions