format

Author: ArenBabikian

src/goto-instrument/code_contracts.cpp

@@ -26,8 +26,8 @@ Date: February 2016
 #include <util/expr_util.h>
 #include <util/format_type.h>
 #include <util/fresh_symbol.h>
-#include <util/mathematical_types.h>
 #include <util/mathematical_expr.h>
+#include <util/mathematical_types.h>
 #include <util/message.h>
 #include <util/pointer_offset_size.h>
 #include <util/pointer_predicates.h>