diff options
| -rw-r--r-- | include/contracts.h | 4 |
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 | |||
| 162 | void | 162 | void |
| 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 | } |
