Merge pull request #5550 from diffblue/remove_make_bool

Remove exprt::make_bool

Author: tautschnig

src/util/expr.cpp

@@ -105,15 +105,6 @@ bool exprt::is_false() const
          get(ID_value)==ID_false;
 }
 
-/// Replace the expression by a Boolean expression representing \p value.
-/// \param value: the Boolean value to give to the expression
-/// \deprecated use constructors instead
-void exprt::make_bool(bool value)
-{
-  *this=exprt(ID_constant, typet(ID_bool));
-  set(ID_value, value?ID_true:ID_false);
-}
-
 /// Return whether the expression represents a Boolean.
 /// \return True if is a Boolean, false otherwise.
 bool exprt::is_boolean() const

src/util/expr.h

@@ -239,9 +239,6 @@ class exprt:public irept
     op.push_back(std::move(e3));
   }
 
-  DEPRECATED(SINCE(2019, 5, 28, "use make_boolean_expr(value) instead"))
-  void make_bool(bool value);
-
   bool is_constant() const;
   bool is_true() const;
   bool is_false() const;
@@ -379,7 +376,6 @@ class expr_protectedt : public exprt
 
   // protect these low-level methods
   using exprt::add;
-  using exprt::make_bool;
   using exprt::op0;
   using exprt::op1;
   using exprt::op2;