Merge pull request #5576 from tautschnig/fix-missing-include

Fix missing includes of deprecate.h

Author: tautschnig

src/analyses/ai.h

@@ -49,10 +49,11 @@ Author: Daniel Kroening, [email protected]
 #include <map>
 #include <memory>
 
-#include <util/json.h>
-#include <util/xml.h>
+#include <util/deprecate.h>
 #include <util/expr.h>
+#include <util/json.h>
 #include <util/make_unique.h>
+#include <util/xml.h>
 
 #include <goto-programs/goto_model.h>
 

src/analyses/ai_domain.h

@@ -40,6 +40,7 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_ANALYSES_AI_DOMAIN_H
 #define CPROVER_ANALYSES_AI_DOMAIN_H
 
+#include <util/deprecate.h>
 #include <util/expr.h>
 #include <util/json.h>
 #include <util/make_unique.h>

src/analyses/ai_storage.h

@@ -23,6 +23,8 @@ Author: Martin Brain, [email protected]
 #ifndef CPROVER_ANALYSES_AI_STORAGE_H
 #define CPROVER_ANALYSES_AI_STORAGE_H
 
+#include <util/deprecate.h>
+
 #include <goto-programs/goto_program.h>
 
 #include "ai_domain.h"