change #if0 to #ifdef DEBUG

smowton · Nov 23, 2017 · 03c86a8 · 03c86a8
1 parent 10131ed
commit 03c86a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -876,7 +876,7 @@ void value_sett::get_value_set_rec(
     #endif
   }
 
-  #if 0
+  #ifdef DEBUG
   std::cout << "GET_VALUE_SET_REC RESULT:\n";
   for(const auto &obj : dest.read())
   {