Header cleanup

tautschnig · tautschnig · commit e85e808327ba · 2017-01-05T21:31:29.000+01:00
diff --git a/src/analyses/escape_analysis.cpp b/src/analyses/escape_analysis.cpp
@@ -10,8 +10,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "escape_analysis.h"
 
-#include <iostream>
-
 /*******************************************************************\
 
 Function: escape_domaint::is_tracked
diff --git a/src/musketeer/musketeer_parse_options.cpp b/src/musketeer/musketeer_parse_options.cpp
@@ -11,6 +11,7 @@ Module: Main Module
 #include <memory>
 
 #include <util/config.h>
+#include <util/options.h>
 #include <util/string2int.h>
 
 #include <goto-programs/remove_function_pointers.h>
