Removed unused include

tautschnig · tautschnig · commit 1eeaf5cd694e · 2016-05-18T17:14:15.000Z
diff --git a/src/ansi-c/ansi_c_language.cpp b/src/ansi-c/ansi_c_language.cpp
@@ -11,7 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <fstream>
 
 #include <util/expr_util.h>
-#include <util/replace_symbol.h>
 #include <util/config.h>
 #include <util/get_base_name.h>
 
diff --git a/src/ansi-c/cprover_library.cpp b/src/ansi-c/cprover_library.cpp
@@ -9,7 +9,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <sstream>
 
 #include <util/config.h>
-#include <util/replace_symbol.h>
 
 #include "cprover_library.h"
 #include "ansi_c_language.h"
