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