diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-09-03 09:33:37 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-09-03 09:33:37 +0000 |
| commit | cf00c0c2a9aa1e333a95f3cd31b243f64bbe7812 (patch) | |
| tree | 1a2ee64dd408296fe3946f466bf22717472c3418 /src/GF/Compile | |
| parent | d1ebdf8154855964b4dbeaca7791589b103fd621 (diff) | |
treatment of Int: not always PredefAbs but can be PredefCnc
Diffstat (limited to 'src/GF/Compile')
0 files changed, 0 insertions, 0 deletions