1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_interpol.h b/src/theory/quantifiers/sygus/sygus_interpol.h
index e86ac624a..d4aedad8a 100644
--- a/src/theory/quantifiers/sygus/sygus_interpol.h
+++ b/src/theory/quantifiers/sygus/sygus_interpol.h
@@ -25,6 +25,7 @@
 
 namespace cvc5 {
 
+class Env;
 class SmtEngine;
 
 namespace theory {
@@ -61,7 +62,7 @@ namespace quantifiers {
 class SygusInterpol
 {
  public:
-  SygusInterpol();
+  SygusInterpol(Env& env);
 
   /**
    * Returns the sygus conjecture in interpol corresponding to the interpolation
@@ -173,7 +174,8 @@ class SygusInterpol
    * @param itp the interpolation predicate.
    */
   bool findInterpol(SmtEngine* subsolver, Node& interpol, Node itp);
-
+  /** Reference to the env */
+  Env& d_env;
   /**
    * symbols from axioms and conjecture.
    */