diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-24T15·21+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-24T15·21+0000 |
| commit | df8873e14ad071812e27f38b69783f04dbae5f44 (patch) | |
| tree | 34be83feb4734efcb21f4f3d1ced66db4c24e382 /aterm-gc.supp | |
| parent | 2ab4bc44c780d2e28647f7559664675b756f38b9 (diff) | |
* lessThan primitive for integer comparison.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions