diff --git a/src/goto-instrument/contracts/contracts.h b/src/goto-instrument/contracts/contracts.h index ba8b2a2bd25..ce33d49ceac 100644 --- a/src/goto-instrument/contracts/contracts.h +++ b/src/goto-instrument/contracts/contracts.h @@ -141,6 +141,7 @@ class code_contractst std::unordered_set summarized; +public: /// Translates a function_pointer_obeys_contract_exprt into an assertion /// ``` /// ASSERT function_pointer == contract;