diff options
| author | johnvg | 2004-12-14 13:28:09 +0000 |
|---|---|---|
| committer | johnvg | 2004-12-14 13:28:09 +0000 |
| commit | 02e1da7ec11670110dbca3f3971586566261ede3 (patch) | |
| tree | 03cb161f1f4633d9f1a6a09e63f9e8c972eab643 /coclmaindll | |
| parent | fix conversion of selection (pattern match in lhs of where or let) (diff) | |
remove workaround for a bug in Clean 2.0, that seems to have been fixed already
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1503 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'coclmaindll')
0 files changed, 0 insertions, 0 deletions