From cd82205b061b221808875198944e5bbb82ea2781 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 10 May 2021 19:14:18 -0700
Subject: [PATCH] nit

---
 src/qe/qe_lite.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/qe/qe_lite.cpp b/src/qe/qe_lite.cpp
index da9367362..58fe3b293 100644
--- a/src/qe/qe_lite.cpp
+++ b/src/qe/qe_lite.cpp
@@ -2316,7 +2316,7 @@ public:
         if (is_exists(tmp) && to_quantifier(tmp)->get_qid() == qe_lite) {
             used_vars used;
             tmp = to_quantifier(tmp)->get_expr();
-            used.process(tmp);
+            used(tmp);
             var_subst vs(m, true);
             fml = vs(tmp, vars.size(), (expr*const*)vars.data());
             // collect set of variables that were used.