From 962c83047eed6f471f2c40f664df631ebd1350ae Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 3 Sep 2021 12:09:57 -0500
Subject: Make quantifier module classes derive from EnvObj (#7132)

---
 src/theory/quantifiers/sygus/sygus_module.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/theory/quantifiers/sygus/sygus_module.h')

diff --git a/src/theory/quantifiers/sygus/sygus_module.h b/src/theory/quantifiers/sygus/sygus_module.h
index d7e0caa5b..8070fe009 100644
--- a/src/theory/quantifiers/sygus/sygus_module.h
+++ b/src/theory/quantifiers/sygus/sygus_module.h
@@ -21,6 +21,7 @@
 #include <vector>
 
 #include "expr/node.h"
+#include "smt/env_obj.h"
 
 namespace cvc5 {
 namespace theory {
@@ -49,7 +50,7 @@ class QuantifiersInferenceManager;
  * Modules implement an initialize function, which determines whether the module
  * will take responsibility for the given conjecture.
  */
-class SygusModule
+class SygusModule : protected EnvObj
 {
  public:
   SygusModule(QuantifiersState& qs,
-- 
cgit v1.2.3