Remove debugging

Author: thomasspriggs

src/goto-programs/goto_convert.cpp

@@ -28,13 +28,6 @@ Author: Daniel Kroening, [email protected]
 #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)
@@ -252,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();
@@ -317,7 +309,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;