diffblue
diff --git a/‎src/util/mathematical_expr.h
Lines changed: 0 additions & 10 deletions b/‎src/util/mathematical_expr.h
Lines changed: 0 additions & 10 deletions
@@ -97,11 +97,6 @@ inline transt &to_trans_expr(exprt &expr)
 class power_exprt : public binary_exprt
 {
 public:
-  DEPRECATED(SINCE(2018, 9, 21, "use power_exprt(lhs, rhs) instead"))
-  power_exprt() : binary_exprt(ID_power)
-  {
-  }
-
   power_exprt(const exprt &_base, const exprt &_exp)
     : binary_exprt(_base, ID_power, _exp)
   {
@@ -146,11 +141,6 @@ inline power_exprt &to_power_expr(exprt &expr)
 class factorial_power_exprt : public binary_exprt
 {
 public:
-  DEPRECATED(SINCE(2018, 9, 21, "use factorial_power_exprt(lhs, rhs) instead"))
-  factorial_power_exprt() : binary_exprt(ID_factorial_power)
-  {
-  }
-
   factorial_power_exprt(const exprt &_base, const exprt &_exp)
     : binary_exprt(_base, ID_factorial_power, _exp)
   {
Original file line number	Diff line number	Diff line change
`@@ -97,11 +97,6 @@ inline transt &to_trans_expr(exprt &expr)`
`97`	`97`	`class power_exprt : public binary_exprt`
`98`	`98`	`{`
`99`	`99`	`public:`
`100`		`- DEPRECATED(SINCE(2018, 9, 21, "use power_exprt(lhs, rhs) instead"))`
`101`		`- power_exprt() : binary_exprt(ID_power)`
`102`		`- {`
`103`		`- }`
`104`		`-`
`105`	`100`	`power_exprt(const exprt &_base, const exprt &_exp)`
`106`	`101`	`: binary_exprt(_base, ID_power, _exp)`
`107`	`102`	`{`
`@@ -146,11 +141,6 @@ inline power_exprt &to_power_expr(exprt &expr)`
`146`	`141`	`class factorial_power_exprt : public binary_exprt`
`147`	`142`	`{`
`148`	`143`	`public:`
`149`		`- DEPRECATED(SINCE(2018, 9, 21, "use factorial_power_exprt(lhs, rhs) instead"))`
`150`		`- factorial_power_exprt() : binary_exprt(ID_factorial_power)`
`151`		`- {`
`152`		`- }`
`153`		`-`
`154`	`144`	`factorial_power_exprt(const exprt &_base, const exprt &_exp)`
`155`	`145`	`: binary_exprt(_base, ID_factorial_power, _exp)`
`156`	`146`	`{`