mirror of
https://github.com/Z3Prover/z3
synced 2025-07-22 20:32:05 +00:00
change in a comment
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
ee91d73a82
commit
2b5e8e9652
1 changed files with 1 additions and 1 deletions
|
@ -165,7 +165,7 @@ public:
|
||||||
vector<monomial>::const_iterator end() const { return m_monomials.end(); }
|
vector<monomial>::const_iterator end() const { return m_monomials.end(); }
|
||||||
|
|
||||||
/**
|
/**
|
||||||
\brief iterators over monomials where an equivalent variable is used
|
\brief iterators over monomials where a variable is used
|
||||||
*/
|
*/
|
||||||
class iterator {
|
class iterator {
|
||||||
emonomials const& m;
|
emonomials const& m;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue