Merge pull request #5567 from tautschnig/remove-deprecated-include

tautschnig · web-flow · commit b719a2c0ed4a · 2020-11-12T09:00:03.000+01:00
Remove unnecessary deprecate.h includes
diff --git a/src/goto-programs/link_to_library.h b/src/goto-programs/link_to_library.h
@@ -15,7 +15,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <functional>
 #include <set>
 
-#include <util/deprecate.h>
 #include <util/irep.h>
 
 class goto_modelt;
diff --git a/src/goto-programs/read_goto_binary.h b/src/goto-programs/read_goto_binary.h
@@ -14,7 +14,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <string>
 
-#include <util/deprecate.h>
 #include <util/optional.h>
 
 class goto_functionst;
diff --git a/src/util/string_utils.h b/src/util/string_utils.h
@@ -10,8 +10,6 @@ Author: Daniel Poetzl
 #ifndef CPROVER_UTIL_STRING_UTILS_H
 #define CPROVER_UTIL_STRING_UTILS_H
 
-#include "deprecate.h"
-
 #include <iosfwd>
 #include <string>
 #include <vector>
diff --git a/src/util/type.h b/src/util/type.h
@@ -15,7 +15,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 class namespacet;
 
-#include "deprecate.h"
 #include "source_location.h"
 #include "validate_types.h"
 #include "validation_mode.h"
