From c28d21cd0e78e0aec2d7ee0981f259024388d0ef Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 19 Dec 2023 14:05:46 +0000
Subject: [PATCH] Remove unused `log` member from dfcc_is_freeablet

We have a message handler that is initialised, the messaget member was
just some left-over.
---
 src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h b/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h
index 986cf2b6abd..c0e77b64818 100644
--- a/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h
+++ b/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h
@@ -51,7 +51,6 @@ class dfcc_is_freeablet
 protected:
   dfcc_libraryt &library;
   message_handlert &message_handler;
-  messaget log;
 };
 
 #endif