summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--include/contracts.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/include/contracts.h b/include/contracts.h
index 86e30ee..8bd6bc5 100644
--- a/include/contracts.h
+++ b/include/contracts.h
@@ -131,7 +131,7 @@ public:
131 * 'ex'. 131 * 'ex'.
132 * 132 *
133 * Exemple : 133 * Exemple :
134 * std:vector<int> v; 134 * std::vector<int> v;
135 * assert_exception(v.at(2) = 3, std::out_of_range); 135 * assert_exception(v.at(2) = 3, std::out_of_range);
136 * 136 *
137 * @param code Le code à exécuter. 137 * @param code Le code à exécuter.
@@ -162,7 +162,7 @@ static inline
162void 162void
163__contracts_assert_failed(const char *file, size_t line, const char *msg) 163__contracts_assert_failed(const char *file, size_t line, const char *msg)
164{ 164{
165 fprintf(stderr, "*** assertion failed at %s:%lu\n%s\n", file, 165 fprintf(stderr, "\n*** assertion failed at %s:%lu\n %s\n\n", file,
166 (unsigned long) line, msg); 166 (unsigned long) line, msg);
167 abort(); 167 abort();
168} 168}