Make type more precise

romainbrenguier · romainbrenguier · commit 00fd4f3577e9 · 2018-10-26T10:40:57.000+01:00
No functional changes
diff --git a/src/solvers/refinement/string_refinement.cpp b/src/solvers/refinement/string_refinement.cpp
@@ -653,7 +653,7 @@ decision_proceduret::resultt string_refinementt::dec_solve()
 
   debug() << "dec_solve: compute dependency graph and remove function "
           << "applications captured by the dependencies:" << eom;
-  std::vector<exprt> local_equations;
+  std::vector<equal_exprt> local_equations;
   for(const equal_exprt &eq : equations)
   {
     if(!add_node(dependencies, eq, generator.array_pool))

Original file line number	Diff line number	Diff line change
`@@ -653,7 +653,7 @@ decision_proceduret::resultt string_refinementt::dec_solve()`
`653`	`653`
`654`	`654`	`debug() << "dec_solve: compute dependency graph and remove function "`
`655`	`655`	`<< "applications captured by the dependencies:" << eom;`
`656`		`- std::vector<exprt> local_equations;`
	`656`	`+ std::vector<equal_exprt> local_equations;`
`657`	`657`	`for(const equal_exprt &eq : equations)`
`658`	`658`	`{`
`659`	`659`	`if(!add_node(dependencies, eq, generator.array_pool))`