diff options
| author | Thomas Bauereiss | 2018-03-22 13:48:47 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-22 13:48:47 +0000 |
| commit | 0860deb52e55b11e39e3470290e07f861f877483 (patch) | |
| tree | e011ceac4d5aaff1d84d1f81e7bf720a8ed4f67e /src/specialize.ml | |
| parent | 5c1754d3a8170167c58c876be36d451c7607fb2c (diff) | |
Try removing superfluous returns more aggressively for Lem
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions