Don't break early if searching subterms in get_predicates (#260)

stanford-centaur · May 4, 2021 · eae4450 · eae4450
1 parent 8ccdf98
commit eae4450
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/term_analysis.cpp b/utils/term_analysis.cpp
@@ -238,7 +238,7 @@ void get_predicates(const SmtSolver & solver,
         }
       }
 
-      if (t->get_sort() != boolsort) {
+      if (!search_subterms && t->get_sort() != boolsort) {
         // not a candidate for predicates
         continue;
       }