Remove declaration of string_constantt::from_array_expr

tautschnig · tautschnig · commit efb928464559 · 2022-07-06T11:30:18.000Z
The implementation was removed in a904300.
diff --git a/src/util/string_constant.h b/src/util/string_constant.h
@@ -24,7 +24,6 @@ class string_constantt : public nullary_exprt
   }
 
   array_exprt to_array_expr() const;
-  bool from_array_expr(const array_exprt &);
 };
 
 template <>

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,6 @@ class string_constantt : public nullary_exprt`
`24`	`24`	`}`
`25`	`25`
`26`	`26`	`array_exprt to_array_expr() const;`
`27`		`- bool from_array_expr(const array_exprt &);`
`28`	`27`	`};`
`29`	`28`
`30`	`29`	`template <>`