Merge pull request #7113 from diffblue/narrow_h

add missing narrow.h includes

Author: tautschnig

src/solvers/lowering/byte_operators.cpp

@@ -6,21 +6,22 @@ Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
-#include "expr_lowering.h"
-
-#include <algorithm>
-
 #include <util/arith_tools.h>
 #include <util/bitvector_expr.h>
 #include <util/byte_operators.h>
 #include <util/c_types.h>
 #include <util/endianness_map.h>
 #include <util/expr_util.h>
 #include <util/namespace.h>
+#include <util/narrow.h>
 #include <util/pointer_offset_size.h>
 #include <util/simplify_expr.h>
 #include <util/string_constant.h>
 
+#include "expr_lowering.h"
+
+#include <algorithm>
+
 static exprt bv_to_expr(
   const exprt &bitvector_expr,
   const typet &target_type,

src/solvers/prop/bdd_expr.cpp

@@ -13,6 +13,7 @@ Author: Michael Tautschnig, [email protected]
 
 #include <util/expr_util.h>
 #include <util/invariant.h>
+#include <util/narrow.h>
 #include <util/std_expr.h>
 
 bddt bdd_exprt::from_expr_rec(const exprt &expr)