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