1 files changed, 6 insertions, 1 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index 378305c75..4dbb7a436 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -227,7 +227,6 @@ class Theory {
 
   /** Pointer to proof node manager */
   ProofNodeManager* d_pnm;
-
   /**
    * Are proofs enabled?
    *
@@ -309,6 +308,12 @@ class Theory {
    */
   virtual void notifySharedTerm(TNode n);
 
+  /**
+   * Notify in conflict, called when a conflict clause is added to TheoryEngine
+   * by any theory (not necessarily this one). This signals that the theory
+   * should suspend what it is currently doing and wait for backtracking.
+   */
+  virtual void notifyInConflict();
  public:
   //--------------------------------- initialization
   /**