diff options
| author | Don Stewart <dons@galois.com> | 2007-11-08 01:35:39 +0100 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2007-11-08 01:35:39 +0100 |
| commit | 59882d0779b0c9dd4ced0d18208afed6fa18acf0 (patch) | |
| tree | d30eec4f3bdaae08b9ed20a87b67167162a682c5 /util | |
| parent | 8b7896e27cd6b72c919214e4aeffa23e4e6b50d1 (diff) | |
| download | metatile-59882d0779b0c9dd4ced0d18208afed6fa18acf0.tar metatile-59882d0779b0c9dd4ced0d18208afed6fa18acf0.zip | |
maybe False (const True) -> isJust. spotted by shachaf
darcs-hash:20071108003539-cba2c-b435890d8990e3a7f6b2df40823db5b4ed913a02
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions