From 4149b8388ba418d36b781714c71b31ae67299dba Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Sat, 7 Apr 2018 11:41:43 +0200
Subject: [PATCH] Improve quality of coverage report by not expanding contract
 function.

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

diff --git a/tests/coverage.h b/tests/coverage.h
index a565e6e0..0b443e3e 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -63,6 +63,8 @@
 #undef QUEUEI_MPMC_CONTRACT
 #undef RBTREEI_CONTRACT_NODE
 #undef RBTREEI_CONTRACT
+#undef BPTREEI_NODE_CONTRACT
+#undef BPTREEI_CONTRACT
 #undef LISTI_CONTRACT
 #undef LISTI_DUAL_PUSH_CONTRACT
 #undef NDEBUG