Phil Nash 06e959be3e Fixed used of cleaned-up context by runner's destructor ...

This was causing a segfault for some

2012-05-25 08:52:05 +01:00

..

catch.hpp

Fixed used of cleaned-up context by runner's destructor

2012-05-25 08:52:05 +01:00