change #if0 to #ifdef DEBUG

polgreen · polgreen · commit 03c86a8af85b · 2017-11-23T15:38:34.000Z
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())
   {

Original file line number	Diff line number	Diff line change
`@@ -876,7 +876,7 @@ void value_sett::get_value_set_rec(`
`876`	`876`	`#endif`
`877`	`877`	`}`
`878`	`878`
`879`		`- #if 0`
	`879`	`+ #ifdef DEBUG`
`880`	`880`	`std::cout << "GET_VALUE_SET_REC RESULT:\n";`
`881`	`881`	`for(const auto &obj : dest.read())`
`882`	`882`	`{`