fixup boolbvt changes

Author: kroening

src/cprover/bv_pointers_wide.cpp

@@ -762,11 +762,12 @@ static std::string bits_to_string(const propt &prop, const bvt &bv)
 exprt bv_pointers_widet::bv_get_rec(
   const exprt &expr,
   const bvt &bv,
-  std::size_t offset,
-  const typet &type) const
+  std::size_t offset) const
 {
+  const auto &type = expr.type();
+
   if(type.id() != ID_pointer)
-    return SUB::bv_get_rec(expr, bv, offset, type);
+    return SUB::bv_get_rec(expr, bv, offset);
 
   const pointer_typet &pt = to_pointer_type(type);
   const std::size_t bits = boolbv_width(pt);

src/cprover/bv_pointers_wide.h

@@ -56,8 +56,7 @@ class bv_pointers_widet : public boolbvt
   bvt convert_bitvector(const exprt &) override; // no cache
 
   exprt
-  bv_get_rec(const exprt &, const bvt &, std::size_t offset, const typet &)
-    const override;
+  bv_get_rec(const exprt &, const bvt &, std::size_t offset) const override;
 
   NODISCARD
   optionalt<bvt> convert_address_of_rec(const exprt &);