Remove unused variable rhs_value_set

smowton · smowton · commit 6d68c30072b6 · 2018-12-21T11:32:13.000Z
diff --git a/src/goto-symex/goto_symex_state.cpp b/src/goto-symex/goto_symex_state.cpp
@@ -217,7 +217,6 @@ void goto_symex_statet::assignment(
 
   {
     // update value sets
-    value_sett::expr_sett rhs_value_set;
     exprt l1_rhs(rhs);
     get_l1_name(l1_rhs);
 

Original file line number	Diff line number	Diff line change
`@@ -217,7 +217,6 @@ void goto_symex_statet::assignment(`
`217`	`217`
`218`	`218`	`{`
`219`	`219`	`// update value sets`
`220`		`- value_sett::expr_sett rhs_value_set;`
`221`	`220`	`exprt l1_rhs(rhs);`
`222`	`221`	`get_l1_name(l1_rhs);`
`223`	`222`