Update programming by contract macros

This commit is contained in:
Vinnie Falco committed 2013-09-07 11:53:36 -07:00
1 parent 10958459a3
commit 88af355028
2 files changed
+1 -10

No files matched your search

@@ -130,7 +130,7 @@ public:
// We don't really expect the program to run after this
// but the unit test is here so you can manually test it.
int shouldBeZero (1);
fatal_assert (shouldBeZero == 0);
check_invariant (shouldBeZero == 0);
}
};