From c0f7ae188b8a9a991b97be8bb42b148ffc324857 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Sun, 16 Jul 2017 23:50:29 +0200
Subject: [PATCH] Improve quality of coverage report.

---
 tests/coverage.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/coverage.h b/tests/coverage.h
index 965f7f75..2a3173e0 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -53,6 +53,7 @@
 #undef LIST_CONTRACT
 #undef DICTI_CONTRACT
 #undef DICTI_OA_CONTRACT
+#undef SHAREDI_CONTRACT
 #else
 /* For normal builds, empty macros which does nothing */
 #define START_COVERAGE