1.1 --- a/test/test_tools.h	Wed Sep 06 08:36:52 2006 +0000
     1.2 +++ b/test/test_tools.h	Wed Sep 06 09:54:46 2006 +0000
     1.3 @@ -51,7 +51,7 @@
     1.4  #define check(rc, msg) \
     1.5    if(!(rc)) { \
     1.6      std::cerr << __FILE__ ":" << __LINE__ << ": error: " << msg << std::endl; \
     1.7 -    exit(1); \
     1.8 +    abort(); \
     1.9    } else { } \
    1.10  
    1.11  ///Structure returned by \ref addPetersen().