diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21T16·02+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21T16·02+0000 |
| commit | cae4efdca3a207b97244aef96161ad2974ec4e50 (patch) | |
| tree | 6ccacbe7e54d77d63551ec3fdb4614b0d7b7bd84 /externals | |
| parent | 0777448ca68175b6daf3d8f5374cf43523828c47 (diff) | |
* Because --parse-only no longer produces an ATerm, don't check the
output. Whether it parses at all should be enough.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions