Remove redundant cast

jezhiggins · jezhiggins · commit 0a576d0831af · 2020-12-15T13:40:18.000Z
diff --git a/src/analyses/variable-sensitivity/abstract_enviroment.cpp b/src/analyses/variable-sensitivity/abstract_enviroment.cpp
@@ -83,8 +83,7 @@ abstract_environmentt::eval(const exprt &expr, const namespacet &ns) const
   }
   else if(simplified_id == ID_constant)
   {
-    return abstract_object_factory(
-      simplified_expr.type(), to_constant_expr(simplified_expr), ns);
+    return abstract_object_factory(simplified_expr.type(), simplified_expr, ns);
   }
   else
   {

Original file line number	Diff line number	Diff line change
`@@ -83,8 +83,7 @@ abstract_environmentt::eval(const exprt &expr, const namespacet &ns) const`
`83`	`83`	`}`
`84`	`84`	`else if(simplified_id == ID_constant)`
`85`	`85`	`{`
`86`		`- return abstract_object_factory(`
`87`		`- simplified_expr.type(), to_constant_expr(simplified_expr), ns);`
	`86`	`+ return abstract_object_factory(simplified_expr.type(), simplified_expr, ns);`
`88`	`87`	`}`
`89`	`88`	`else`
`90`	`89`	`{`