merge

Author: Peter Schrammel

src/goto-programs/goto_trace.cpp

@@ -76,7 +76,6 @@ void goto_trace_stept::output(
   case goto_trace_stept::SHARED_WRITE: out << "SHARED WRITE"; break;
   case goto_trace_stept::FUNCTION_CALL: out << "FUNCTION CALL"; break;
   case goto_trace_stept::FUNCTION_RETURN: out << "FUNCTION RETURN"; break;
-  case goto_trace_stept::DEAD: out << "DEAD" << std::endl; return;
   default: {
     out << "unknown type: " << type << std::endl;
     assert(false);