diff options
| author | Brian Campbell | 2018-08-13 13:52:50 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-13 13:52:50 +0100 |
| commit | 3001c5dbdfbd060500df141d8112af5c1021f347 (patch) | |
| tree | b34d27886fb299f75a83319902dade337ea619db /src/spec_analysis.ml | |
| parent | 0de3a32ed759773bf1e8ff4460d21371c0a715e8 (diff) | |
Guarded clauses rewrite: variable patterns subsume enums
Prevents redundant clauses.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions