clang-format the moved files

diffblue · Apr 1, 2024 · 8a7dcf8 · 8a7dcf8
1 parent ea8db1c
commit 8a7dcf8
Show file tree

Hide file tree

Showing 22 changed files with 893 additions and 947 deletions.
diff --git a/jbmc/src/java_bytecode/assignments_from_json.cpp b/jbmc/src/java_bytecode/assignments_from_json.cpp
@@ -16,11 +16,11 @@ Author: Diffblue Ltd.
 #include <util/symbol_table_base.h>
 #include <util/unicode.h>
 
-#include <ansi-c/allocate_objects.h>
-
 #include <goto-programs/class_identifier.h>
 #include <goto-programs/goto_instruction_code.h>
 
+#include <ansi-c/allocate_objects.h>
+
 #include "ci_lazy_methods_needed.h"
 #include "code_with_references.h"
 #include "java_static_initializers.h"