1 files changed, 6 insertions, 6 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index 0eb3d9a33..fa26ab65e 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -140,12 +140,6 @@ class Theory {
   /** The care graph the theory will use during combination. */
   CareGraph* d_careGraph;
 
-  /**
-   * Pointer to the quantifiers engine (or NULL, if quantifiers are not
-   * supported or not enabled). Not owned by the theory.
-   */
-  QuantifiersEngine* d_quantEngine;
-
   /** Pointer to the decision manager. */
   DecisionManager* d_decManager;
 
@@ -234,6 +228,12 @@ class Theory {
    */
   TheoryInferenceManager* d_inferManager;
 
+  /**
+   * Pointer to the quantifiers engine (or NULL, if quantifiers are not
+   * supported or not enabled). Not owned by the theory.
+   */
+  QuantifiersEngine* d_quantEngine;
+
   /** Pointer to proof node manager */
   ProofNodeManager* d_pnm;