From e49b9e331f2c2e48833481187ff5c06074a10e6a Mon Sep 17 00:00:00 2001
From: schnorr <Lucas.Schnorr@imag.fr>
Date: Thu, 13 Sep 2012 23:47:51 +0200
Subject: [PATCH 1/1] fix: missing undef

---
 src/instr/instr_config.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
index 16065f191a..95ca691e3b 100644
--- a/src/instr/instr_config.c
+++ b/src/instr/instr_config.c
@@ -614,6 +614,7 @@ void TRACE_generate_viva_cat_conf (void)
 #undef OPT_TRACING_BUFFER
 #undef OPT_TRACING_ONELINK_ONLY
 #undef OPT_TRACING_DISABLE_DESTROY
+#undef OPT_TRACING_BASIC
 #undef OPT_TRIVA_UNCAT_CONF
 #undef OPT_TRIVA_CAT_CONF
 #undef OPT_VIVA_UNCAT_CONF
-- 
2.20.1