diff --git a/src/muz_qe/pdr_context.cpp b/src/muz_qe/pdr_context.cpp
index de0041413..e6916050a 100644
--- a/src/muz_qe/pdr_context.cpp
+++ b/src/muz_qe/pdr_context.cpp
@@ -1246,7 +1246,6 @@ namespace pdr {
           m_expanded_lvl(0),
           m_cancel(false)
     {
-        enable_trace("pdr");
     }
 
     context::~context() {