diff --git a/src/goto-symex/symex_goto.cpp b/src/goto-symex/symex_goto.cpp
index 4311617de483..b0f82868f6e4 100644
--- a/src/goto-symex/symex_goto.cpp
+++ b/src/goto-symex/symex_goto.cpp
@@ -717,12 +717,6 @@ void goto_symext::merge_goto(
   state.guard = std::move(new_guard);
 }
 
-#include <iostream>
-#define WATCHVAR( var ) \
-    	  std::cerr << "DBG: " << __FILE__ << "(" << __LINE__ << ") " << #var << \
-    	    " = [" << (var) << "]" << std::endl
-
-
 /// Helper function for \c phi_function which merges the names of an identifier
 /// for two different states.
 /// \param goto_state: first state
@@ -824,10 +818,6 @@ static void merge_names(
   //  2. Either identifier is of generation zero, and so hasn't been
   //     initialized and therefore an invalid target.
 
-  WATCHVAR(l1_identifier);
-  WATCHVAR(goto_count);
-  WATCHVAR(dest_count);
-
   // These rules only apply to dynamic objects and locals.
   if(!dest_state.reachable)
     rhs = goto_state_rhs;