diff --git a/tests/coverage.h b/tests/coverage.h
index b3753e57..e684981a 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -63,6 +63,7 @@
 #undef QUEUEI_MPMC_CONTRACT
 #undef RBTREEI_CONTRACT_NODE
 #undef RBTREEI_CONTRACT
+#undef LISTI_DUAL_PUSH_CONTRACT
 #undef NDEBUG
 #undef atomic_init
 #undef atomic_load