Remove the atf_tc coverity model

diff --git a/util/models.c b/util/models.c
index 2e2db2b1d8ac01d79df3a6aac44c943c39e910ad..48e58f4f1c30f45de9e05067b4108824a4fa698e 100644 (file)
--- a/util/models.c
+++ b/util/models.c
@@ -94,7 +94,3 @@ void isc__mempool_put(void *mem, void *ptr FLARG) {
        if (!mem) __coverity_panic__();
        __coverity_free__(ptr);
 }
-
-void atf_tc_fail_requirement(const char *, const size_t, const char *, ...) {
-       __coverity_panic__();
-}