From 5393f1d98fb3aef28ffed2694c43821d64c1ad66 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Apr 2022 11:10:37 +0100
Subject: [PATCH] #5980

---
 src/ast/recfun_decl_plugin.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ast/recfun_decl_plugin.cpp b/src/ast/recfun_decl_plugin.cpp
index 9dd82bc1a..ca2e1584d 100644
--- 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);