Remove typedef used only once

romainbrenguier · romainbrenguier · commit 242f805c9077 · 2018-11-19T11:07:16.000Z
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -281,8 +281,7 @@ class goto_symex_statet final
 
     renaming_levelt::current_namest old_level1;
 
-    typedef std::set<irep_idt> local_objectst;
-    local_objectst local_objects;
+    std::set<irep_idt> local_objects;
 
     framet():
       return_value(nil_exprt()),
