Merge pull request #4236 from diffblue/mp_arith_includes

remove two unused includes from util/mp_arith.h

Author: tautschnig

jbmc/src/java_bytecode/expr2java.h

@@ -11,9 +11,11 @@ Author: Daniel Kroening, [email protected]
 #define CPROVER_JAVA_BYTECODE_EXPR2JAVA_H
 
 #include <cmath>
+#include <limits>
 #include <numeric>
 #include <sstream>
 #include <string>
+
 #include <ansi-c/expr2c_class.h>
 
 class expr2javat:public expr2ct

src/util/arith_tools.h

@@ -10,12 +10,13 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_ARITH_TOOLS_H
 #define CPROVER_UTIL_ARITH_TOOLS_H
 
+#include "deprecate.h"
 #include "invariant.h"
 #include "mp_arith.h"
 #include "optional.h"
 #include "std_expr.h"
 
-#include "deprecate.h"
+#include <limits>
 
 class typet;
 

src/util/mp_arith.h

@@ -10,12 +10,10 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_MP_ARITH_H
 #define CPROVER_UTIL_MP_ARITH_H
 
-#include <string>
 #include <iosfwd>
-#include <limits>
+#include <string>
 
 #include "big-int/bigint.hh"
-#include "optional.h"
 #include "deprecate.h"
 
 // NOLINTNEXTLINE(readability/identifiers)