From a55aa1a6489bb1db7442e0ceb7523169b4891a6d Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 14 Sep 2023 19:29:48 -0700
Subject: [PATCH] add a comment

---
 src/math/lp/implied_bound.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/implied_bound.h b/src/math/lp/implied_bound.h
index 04f55f867..e6d2bb898 100644
--- a/src/math/lp/implied_bound.h
+++ b/src/math/lp/implied_bound.h
@@ -35,6 +35,7 @@ class implied_bound {
     private:
     std::function<u_dependency*(int *)> m_explain_bound = nullptr;
     public:
+    // s is expected to be the pointer to lp_bound_propagator.
     u_dependency* explain(int * s) const { return m_explain_bound(s); }
     void set_explain(std::function<u_dependency*(int *)> f) { m_explain_bound = f; }
     lconstraint_kind kind() const {