From 29acf0bb9fa0f7b5679360920c062179498e4a3b Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 10 Sep 2018 15:52:05 -0500
Subject: Squash implementation of counterexample-guided instantiation (#2423)

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

(limited to 'src/theory/quantifiers_engine.cpp')

diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp
index 038fa9e73..305f3182d 100644
--- a/src/theory/quantifiers_engine.cpp
+++ b/src/theory/quantifiers_engine.cpp
@@ -382,7 +382,7 @@ quantifiers::InstStrategyEnum* QuantifiersEngine::getInstStrategyEnum() const
 {
   return d_fs.get();
 }
-quantifiers::InstStrategyCbqi* QuantifiersEngine::getInstStrategyCbqi() const
+quantifiers::InstStrategyCegqi* QuantifiersEngine::getInstStrategyCegqi() const
 {
   return d_i_cbqi.get();
 }
-- 
cgit v1.2.3