Merge pull request #8124 from tautschnig/cleanup/dfcc-messaget

Remove unused `log` member from dfcc_is_freeablet

Author: tautschnig

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