diff options
| author | johnvg | 2008-12-19 11:16:11 +0000 |
|---|---|---|
| committer | johnvg | 2008-12-19 11:16:11 +0000 |
| commit | 50df2c926eebf8a75db3d272d9c88d6f458b70be (patch) | |
| tree | ad81dce5e0229b7abc42243dcd93bdaf63fdc222 /portToNewSyntax | |
| parent | remove RecordNode, IdentNode, ApplyNode, ScopeNode and IndirectionNode (diff) | |
remove unused field cl_exist_quant_typevars
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1706 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'portToNewSyntax')
0 files changed, 0 insertions, 0 deletions