diff options
| author | Clément Pit--Claudel | 2015-05-02 17:36:05 -0400 |
|---|---|---|
| committer | Pierre Letouzey | 2015-06-22 14:32:19 +0200 |
| commit | d6ee11ac2190df5adad63e5125a9e583533e49e0 (patch) | |
| tree | a81a39f25bb0553a2d19ec919637a2b4eb84a5b7 /plugins/extraction/ExtrHaskellString.v | |
| parent | 192e683d414ac86d213e2386da40dd7aa5a2fccd (diff) | |
Replace 'try ... with Failure "List.last"' with 'if l <> []'
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions