Remove unused typedef

romainbrenguier · romainbrenguier · commit 89dfb92d2839 · 2019-02-28T14:46:24.000Z
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -130,9 +130,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
`@@ -130,9 +130,6 @@ class goto_symex_statet final : public goto_statet`
`130`	`130`	`l1_typest l1_types;`
`131`	`131`
`132`	`132`	`public:`
`133`		`- // gotos`
`134`		`- typedef std::list<goto_statet> goto_state_listt;`
`135`		`-`
`136`	`133`	`// guards`
`137`	`134`	`static irep_idt guard_identifier()`
`138`	`135`	`{`