equal
deleted
inserted
replaced
49 /// |
49 /// |
50 ///\todo It should be in \c error.h |
50 ///\todo It should be in \c error.h |
51 #define check(rc, msg) \ |
51 #define check(rc, msg) \ |
52 if(!(rc)) { \ |
52 if(!(rc)) { \ |
53 std::cerr << __FILE__ ":" << __LINE__ << ": error: " << msg << std::endl; \ |
53 std::cerr << __FILE__ ":" << __LINE__ << ": error: " << msg << std::endl; \ |
54 exit(1); \ |
54 abort(); \ |
55 } else { } \ |
55 } else { } \ |
56 |
56 |
57 ///Structure returned by \ref addPetersen(). |
57 ///Structure returned by \ref addPetersen(). |
58 |
58 |
59 ///Structure returned by \ref addPetersen(). |
59 ///Structure returned by \ref addPetersen(). |