From a4d33ee89f1ef46f080a559eee44f5432790ddcd Mon Sep 17 00:00:00 2001
From: Remi Delmas <delmasrd@amazon.com>
Date: Mon, 22 Aug 2022 13:44:25 -0400
Subject: [PATCH] CONTRACTS: make `contracts.h` methods public.

For future reuse with dynamic frames
---
 src/goto-instrument/contracts/contracts.h | 1 +
 1 file changed, 1 insertion(+)

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<irep_idt> summarized;
 
+public:
   /// Translates a function_pointer_obeys_contract_exprt into an assertion
   /// ```
   /// ASSERT function_pointer == contract;