remove unused header

Daniel Kroening · Daniel Kroening · commit 5841c2a94156 · 2018-10-16T16:21:27.000+01:00
diff --git a/src/goto-programs/show_goto_functions.cpp b/src/goto-programs/show_goto_functions.cpp
@@ -11,8 +11,6 @@ Author: Peter Schrammel
 
 #include "show_goto_functions.h"
 
-#include <iostream>
-
 #include <util/xml.h>
 #include <util/json.h>
 #include <util/json_expr.h>
