aboutsummaryrefslogtreecommitdiff
path: root/tests/verify.sh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-03-02 19:04:17 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-03-02 19:04:17 +0000
commit3f9e647ae8c4928a8fc4de0d704119245f58ff45 (patch)
treef5cddacb0105de63d88537ff83085bef0c691ef6 /tests/verify.sh
parentd8c5745c41de1a1217cfeac2d4af85146cb87e0f (diff)
* checkInterrupt() shouldn't be called from a destructor.
Diffstat (limited to 'tests/verify.sh')
0 files changed, 0 insertions, 0 deletions