Z3Prover
diff --git a/‎src/ast/recfun_decl_plugin.cpp‎
Lines changed: 0 additions & 2 deletions b/‎src/ast/recfun_decl_plugin.cpp‎
Lines changed: 0 additions & 2 deletions
@@ -273,8 +273,6 @@ namespace recfun {
                     } 
                     else if (is_app(e)) {
                         // explore arguments
-                        for (expr * arg : *to_app(e)) {
-                            if (contains_ite(u, arg)) {
                         for (expr * arg : *to_app(e)) 
                             if (contains_ite(u, arg)) 
                                 stack.push_back(arg);
Original file line number	Diff line number	Diff line change
`@@ -273,8 +273,6 @@ namespace recfun {`
`273`	`273`	`}`
`274`	`274`	`else if (is_app(e)) {`
`275`	`275`	`// explore arguments`
`276`		`- for (expr * arg : *to_app(e)) {`
`277`		`- if (contains_ite(u, arg)) {`
`278`	`276`	`for (expr * arg : *to_app(e))`
`279`	`277`	`if (contains_ite(u, arg))`
`280`	`278`	`stack.push_back(arg);`