diff options
-rw-r--r-- | src/logerr.c | 3 | ||||
-rw-r--r-- | src/testing.c | 12 |
2 files changed, 0 insertions, 15 deletions
diff --git a/src/logerr.c b/src/logerr.c index d8262fb..6fddcb9 100644 --- a/src/logerr.c +++ b/src/logerr.c @@ -7,9 +7,6 @@ #include "logerr.h" -/** - * @tags infallible - */ void vlogerr( const char *const file, diff --git a/src/testing.c b/src/testing.c index e8c0fa6..b554ab9 100644 --- a/src/testing.c +++ b/src/testing.c @@ -21,10 +21,6 @@ show_colour(void) { return !no_colour || no_colour[0] == '\0'; } - -/** - * @tags infallible - */ void test_start(const char *const name) { (void)fprintf(stderr, "%s:\n", name); @@ -32,10 +28,6 @@ test_start(const char *const name) { return; } - -/** - * @tags infallible - */ void testing(const char *const message) { if (show_colour()) { @@ -55,10 +47,6 @@ testing(const char *const message) { return; } - -/** - * @tags infallible - */ void test_ok(void) { if (show_colour()) { |