Remove typedef used only once

romainbrenguier · romainbrenguier · commit 8a0135e86d20 · 2018-11-16T11:51:31.000Z
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -58,8 +58,7 @@ class goto_symex_statet final
   symex_target_equationt *symex_target;
 
   // we remember all L1 renamings
-  typedef std::set<irep_idt> l1_historyt;
-  l1_historyt l1_history;
+  std::set<irep_idt> l1_history;
 
   struct renaming_levelt
   {

Original file line number	Diff line number	Diff line change
`@@ -58,8 +58,7 @@ class goto_symex_statet final`
`58`	`58`	`symex_target_equationt *symex_target;`
`59`	`59`
`60`	`60`	`// we remember all L1 renamings`
`61`		`- typedef std::set<irep_idt> l1_historyt;`
`62`		`- l1_historyt l1_history;`
	`61`	`+ std::set<irep_idt> l1_history;`
`63`	`62`
`64`	`63`	`struct renaming_levelt`
`65`	`64`	`{`