diff options
| author | Julien Fontanet <julien.fontanet@isonoe.net> | 2010-10-01 13:03:39 (GMT) |
|---|---|---|
| committer | Julien Fontanet <julien.fontanet@isonoe.net> | 2010-10-01 13:03:39 (GMT) |
| commit | b8599f26af825f05c01e309adaf3f2bd95a81eda (patch) | |
| tree | 6c9f18ba91fd12cd0ca75461c95c3381ebfddebd | |
| parent | 4473d0f768ba12ffada52369287a219d0bae40dc (diff) | |
| download | contracts-master.zip contracts-master.tar.gz contracts-master.tar.bz2 contracts-master.tar | |
| -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 | } |