#5980

Z3Prover · Apr 19, 2022 · 5393f1d · 5393f1d
1 parent a180254
commit 5393f1d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/ast/recfun_decl_plugin.cpp b/src/ast/recfun_decl_plugin.cpp
@@ -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);