Remove unused log member from dfcc_is_freeablet

We have a message handler that is initialised, the messaget member was just some left-over.
diffblue · Dec 19, 2023 · c28d21c · c28d21c
1 parent 92e3c0f
commit c28d21c
Showing 1 changed file with 0 additions and 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
@@ -51,7 +51,6 @@ class dfcc_is_freeablet
 protected:
   dfcc_libraryt &library;
   message_handlert &message_handler;
-  messaget log;
 };
 
 #endif