clang-format includes in goto_instrument_parse_options.cpp

Author: polgreen

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -66,41 +66,41 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <ansi-c/cprover_library.h>
 #include <cpp/cprover_library.h>
 
-#include "document_properties.h"
-#include "uninitialized.h"
-#include "full_slicer.h"
-#include "reachability_slicer.h"
-#include "show_locations.h"
-#include "points_to.h"
+#include "accelerate/accelerate.h"
+#include "aggressive_slicer.h"
 #include "alignment_checks.h"
-#include "race_check.h"
-#include "nondet_volatile.h"
-#include "interrupt.h"
-#include "mmio.h"
-#include "stack_depth.h"
-#include "nondet_static.h"
-#include "rw_set.h"
+#include "branch.h"
+#include "call_sequences.h"
+#include "code_contracts.h"
 #include "concurrency.h"
-#include "dump_c.h"
+#include "document_properties.h"
 #include "dot.h"
-#include "havoc_loops.h"
-#include "k_induction.h"
+#include "dump_c.h"
+#include "full_slicer.h"
 #include "function.h"
-#include "branch.h"
-#include "wmm/weak_memory.h"
-#include "call_sequences.h"
-#include "accelerate/accelerate.h"
+#include "havoc_loops.h"
 #include "horn_encoding.h"
-#include "thread_instrumentation.h"
-#include "skip_loops.h"
-#include "code_contracts.h"
-#include "unwind.h"
+#include "interrupt.h"
+#include "k_induction.h"
+#include "mmio.h"
 #include "model_argc_argv.h"
-#include "undefined_functions.h"
+#include "nondet_static.h"
+#include "nondet_volatile.h"
+#include "points_to.h"
+#include "race_check.h"
+#include "reachability_slicer.h"
 #include "remove_function.h"
+#include "rw_set.h"
+#include "show_locations.h"
+#include "skip_loops.h"
 #include "splice_call.h"
+#include "stack_depth.h"
+#include "thread_instrumentation.h"
+#include "undefined_functions.h"
+#include "uninitialized.h"
+#include "unwind.h"
 #include "version.h"
-#include "aggressive_slicer.h"
+#include "wmm/weak_memory.h"
 
 /// invoke main modules
 int goto_instrument_parse_optionst::doit()