Merge pull request #6793 from tautschnig/cleanup/contracts-1

Remove unused contracts-related functions from ansi_c_declarationt

Author: kroening

src/ansi-c/ansi_c_declaration.h

@@ -243,21 +243,6 @@ class ansi_c_declarationt:public exprt
     assert(!declarators().empty());
     declarators().back().value().swap(value);
   }
-
-  const exprt &spec_assigns() const
-  {
-    return static_cast<const exprt &>(find(ID_C_spec_assigns));
-  }
-
-  const exprt &spec_requires() const
-  {
-    return static_cast<const exprt &>(find(ID_C_spec_requires));
-  }
-
-  const exprt &spec_ensures() const
-  {
-    return static_cast<const exprt &>(find(ID_C_spec_ensures));
-  }
 };
 
 inline ansi_c_declarationt &to_ansi_c_declaration(exprt &expr)