diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-08T11·25+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-08T11·25+0000 |
| commit | 7e048eddf55637b9e81d704f6b9f1fdeca98a5ea (patch) | |
| tree | c2f39dec45c5e2c6b84f7cde29fbd03438038481 /.gitignore | |
| parent | af2a372bb000d4d5aeec37e43ee0f6245c1bba54 (diff) | |
* Fix blackholing. If evaluation fails due to an assertion failure,
then the blackhole has to be removed to ensure that repeated evaluation of the same value gives an assertion failure again rather than an "infinite recursion" error.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions