Remove unused typedef

romainbrenguier · romainbrenguier · commit b620c5769f02 · 2019-03-04T08:20:10.000Z
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -127,9 +127,6 @@ class goto_symex_statet final : public goto_statet
   l1_typest l1_types;
 
 public:
-  // gotos
-  typedef std::list<goto_statet> goto_state_listt;
-
   // guards
   static irep_idt guard_identifier()
   {

Original file line number	Diff line number	Diff line change
`@@ -127,9 +127,6 @@ class goto_symex_statet final : public goto_statet`
`127`	`127`	`l1_typest l1_types;`
`128`	`128`
`129`	`129`	`public:`
`130`		`- // gotos`
`131`		`- typedef std::list<goto_statet> goto_state_listt;`
`132`		`-`
`133`	`130`	`// guards`
`134`	`131`	`static irep_idt guard_identifier()`
`135`	`132`	`{`