Fix corner case of wrongly applied selector as trigger (#5786)

[cvc5.git] / src / theory / inference_manager_buffered.h

diff --git a/src/theory/inference_manager_buffered.h b/src/theory/inference_manager_buffered.h
index 74bbcc3754f35f7944c15a697ef3a646ca1f0fc7..6edc0298f615f565b2e6605a9a4c0dc9e880db0b 100644 (file)
--- a/src/theory/inference_manager_buffered.h
+++ b/src/theory/inference_manager_buffered.h
@@ -115,6 +115,8 @@ class InferenceManagerBuffered : public TheoryInferenceManager
    * phase requirements and clears d_pendingReqPhase.
    */
   void doPendingPhaseRequirements();
+  /** Clear pending facts, lemmas, and phase requirements without processing */
+  void clearPending();
   /** Clear pending facts, without processing */
   void clearPendingFacts();
   /** Clear pending lemmas, without processing */