CONTRACTS: remove useless auto type

Remi Delmas · Remi Delmas · commit 0e3efb04bc88 · 2022-10-26T11:49:49.000-04:00
diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_instrument.cpp b/src/goto-instrument/contracts/dynamic-frames/dfcc_instrument.cpp
@@ -407,7 +407,7 @@ void dfcc_instrumentt::instrument_instructions(
   is_freeable.rewrite_calls(
     goto_program, first_instruction, last_instruction, write_set);
 
-  const auto ns = namespacet(goto_model.symbol_table);
+  const namespacet ns(goto_model.symbol_table);
   auto &target = first_instruction;
 
   // excluding the last
