1 files changed, 6 insertions, 4 deletions
diff --git a/src/theory/quantifiers/anti_skolem.cpp b/src/theory/quantifiers/anti_skolem.cpp
index 531dd8d21..c91ba419b 100644
--- a/src/theory/quantifiers/anti_skolem.cpp
+++ b/src/theory/quantifiers/anti_skolem.cpp
@@ -84,9 +84,10 @@ QuantAntiSkolem::CDSkQuantCache::~CDSkQuantCache() {
   }
 }
 
-QuantAntiSkolem::QuantAntiSkolem(QuantifiersEngine* qe)
-    : QuantifiersModule(qe) {
-  d_sqc = new CDSkQuantCache(qe->getUserContext());
+QuantAntiSkolem::QuantAntiSkolem(QuantifiersEngine* qe, QuantifiersState& qs)
+    : QuantifiersModule(qs, qe)
+{
+  d_sqc = new CDSkQuantCache(qs.getUserContext());
 }
 
 QuantAntiSkolem::~QuantAntiSkolem() { delete d_sqc; }
@@ -160,7 +161,8 @@ void QuantAntiSkolem::check(Theory::Effort e, QEffort quant_e)
 bool QuantAntiSkolem::sendAntiSkolemizeLemma( std::vector< Node >& quants, bool pconnected ) {
   Assert(!quants.empty());
   std::sort( quants.begin(), quants.end() );
-  if( d_sqc->add( d_quantEngine->getUserContext(), quants ) ){
+  if (d_sqc->add(d_qstate.getUserContext(), quants))
+  {
     //partition into connected components
     if( pconnected && quants.size()>1 ){
       Trace("anti-sk-debug") << "Partition into connected components..." << std::endl;