From e58e29fdb9dc1ba516691d9df373b2bdaa480f51 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Fri, 24 Nov 2017 07:58:55 +0100
Subject: Remove coverhd.h

This header file contained timing overhead values which are hard to
maintain.

Update #3254.
---
 testsuites/tmtests/tmck/system.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'testsuites/tmtests/tmck')

diff --git a/testsuites/tmtests/tmck/system.h b/testsuites/tmtests/tmck/system.h
index 9d06647d17..5366b50a3b 100644
--- a/testsuites/tmtests/tmck/system.h
+++ b/testsuites/tmtests/tmck/system.h
@@ -11,7 +11,6 @@
  */
 
 
-#include <coverhd.h>
 #include <tmacros.h>
 
 /* functions */
-- 
cgit v1.2.3