Skip to content

Commit b49027a

Browse files
committed
Add missing std::map include
irep.h provides std::map if, and only if, NAMED_SUB_IS_FORWARD_LIST is not set. Also cleanup include guards (pushing them to be the outermost preprocessor directives) and indentation of includes.
1 parent d460249 commit b49027a

File tree

1 file changed

+9
-7
lines changed

1 file changed

+9
-7
lines changed

src/memory-analyzer/gdb_api.h

+9-7
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ Author: Malte Mues <[email protected]>
77
88
\*******************************************************************/
99

10+
#ifndef CPROVER_MEMORY_ANALYZER_GDB_API_H
11+
#define CPROVER_MEMORY_ANALYZER_GDB_API_H
12+
1013
/// \file
1114
/// Low-level interface to gdb
1215
///
@@ -24,14 +27,13 @@ Author: Malte Mues <[email protected]>
2427
defined(__MACH__)
2528
// clang-format on
2629

27-
#ifndef CPROVER_MEMORY_ANALYZER_GDB_API_H
28-
#define CPROVER_MEMORY_ANALYZER_GDB_API_H
29-
#include <unistd.h>
30+
# include <unistd.h>
3031

31-
#include <exception>
32-
#include <forward_list>
32+
# include <exception>
33+
# include <forward_list>
34+
# include <map>
3335

34-
#include <util/exception_utils.h>
36+
# include <util/exception_utils.h>
3537

3638
class gdb_apit
3739
{
@@ -103,5 +105,5 @@ class gdb_interaction_exceptiont : public cprover_exception_baset
103105
std::string reason;
104106
};
105107

106-
#endif // CPROVER_MEMORY_ANALYZER_GDB_API_H
107108
#endif
109+
#endif // CPROVER_MEMORY_ANALYZER_GDB_API_H

0 commit comments

Comments
 (0)