Skip to content

Commit 6fb3bff

Browse files
author
martin
committed
Fix up the include order of local headers
1 parent 44a1fc9 commit 6fb3bff

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/goto-instrument/goto_instrument_parse_options.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@ Author: Daniel Kroening, [email protected]
3232

3333
#include "aggressive_slicer.h"
3434
#include "contracts/contracts.h"
35+
#include "count_eloc.h"
3536
#include "document_properties.h"
3637
#include "dump_c.h"
3738
#include "generate_function_bodies.h"
@@ -40,8 +41,6 @@ Author: Daniel Kroening, [email protected]
4041
#include "replace_calls.h"
4142
#include "uninitialized.h"
4243

43-
#include "count_eloc.h"
44-
4544
// clang-format off
4645
#define GOTO_INSTRUMENT_OPTIONS \
4746
OPT_DOCUMENT_PROPERTIES \

0 commit comments

Comments
 (0)