CONTRACTS: remove unused class member

Author: Remi Delmas

src/goto-instrument/contracts/dynamic-frames/dfcc.cpp

@@ -98,8 +98,6 @@ void dfcc(
     to_exclude_from_nondet_static};
 }
 
-std::map<irep_idt, irep_idt> dfcct::wrapped_functions_cache;
-
 dfcct::dfcct(
   const optionst &options,
   goto_modelt &goto_model,

src/goto-instrument/contracts/dynamic-frames/dfcc.h

@@ -202,10 +202,6 @@ class dfcct
   dfcc_contract_handlert contract_handler;
   dfcc_swap_and_wrapt swap_and_wrap;
 
-  /// Maps wrapper function to the wrapped function.
-  /// Caching prevents wrapping more than once.
-  static std::map<irep_idt, irep_idt> wrapped_functions_cache;
-
   /// Tracks the maximum number of targets in any assigns clause handled in the
   /// transformation (used to specialize/unwind loops in DFCC library functions)
   std::size_t max_assigns_clause_size;