From ffd5f2340620e32512015b33f006d6788b749207 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sat, 24 Feb 2018 21:41:16 +0100
Subject: [PATCH] Update due to new generic type

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

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