Remove debugging

Author: thomasspriggs

src/goto-programs/goto_convert.cpp

@@ -10,7 +10,6 @@ Author: Daniel Kroening, [email protected]
 /// Program Transformation
 
 #include "goto_convert.h"
-#include "goto_convert_class.h"
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>
@@ -25,14 +24,10 @@ Author: Daniel Kroening, [email protected]
 #include <util/string_constant.h>
 #include <util/symbol_table_builder.h>
 
+#include "goto_convert_class.h"
 #include "destructor.h"
 #include "remove_skip.h"
 
-#include <iostream>
-#define WATCHVAR(var)                                                          \
-  std::cerr << "DBG: " << __FILE__ << "(" << __LINE__ << ") " << #var          \
-            << " = [" << (var) << "]" << std::endl
-
 static bool is_empty(const goto_programt &goto_program)
 {
   forall_goto_program_instructions(it, goto_program)
@@ -250,7 +245,6 @@ void goto_convertt::build_declaration_hops(
 
     // TODO - TYPE CHECK FOR VAR ARRAYS!
 
-    WATCHVAR(declaration->instruction->to_string());
     bool add_if = declaration->if_conditions_added.find(flag.name) ==
                   declaration->if_conditions_added.end();
     if(add_if)
@@ -316,7 +310,6 @@ void goto_convertt::finish_gotos(goto_programt &dest, const irep_idt &mode)
       }
 
       i.complete_goto(l_it->second.first);
-      WATCHVAR(i.get_target()->to_string());
 
       node_indext label_target = l_it->second.second;
       node_indext goto_target = g_it.second;