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