Merge pull request #3614 from smowton/smowton/cleanup/symex-unused-var

tautschnig · web-flow · commit 5d354a55498c · 2018-12-21T12:10:40.000Z
Remove unused variable from symex
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`