Remove typedef used only once

Author: romainbrenguier

src/goto-symex/goto_symex_state.h

@@ -327,12 +327,10 @@ class goto_symex_statet final
   // threads
   unsigned atomic_section_id;
   typedef std::pair<unsigned, std::list<guardt> > a_s_r_entryt;
-  typedef std::unordered_map<ssa_exprt, a_s_r_entryt, irep_hash>
-    read_in_atomic_sectiont;
   typedef std::list<guardt> a_s_w_entryt;
   typedef std::unordered_map<ssa_exprt, a_s_w_entryt, irep_hash>
     written_in_atomic_sectiont;
-  read_in_atomic_sectiont read_in_atomic_section;
+  std::unordered_map<ssa_exprt, a_s_r_entryt, irep_hash> read_in_atomic_section;
   written_in_atomic_sectiont written_in_atomic_section;
 
   unsigned total_vccs, remaining_vccs;