diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-12 18:35:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 18:35:57 -0500 |
| commit | f62cb035e728c77facc94c5dfe3a8a2df65aa3a7 (patch) | |
| tree | 20e8c8bdb3d89951596290c437266175bb30852b /src/theory/uf/equality_engine.cpp | |
| parent | a117e2b45539a822aa480b90558c2c0da6031dd9 (diff) | |
Rename UF with cardinality extension (#3241)
Diffstat (limited to 'src/theory/uf/equality_engine.cpp')
| -rw-r--r-- | src/theory/uf/equality_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/uf/equality_engine.cpp b/src/theory/uf/equality_engine.cpp index 3e321bf29..32d32b479 100644 --- a/src/theory/uf/equality_engine.cpp +++ b/src/theory/uf/equality_engine.cpp @@ -242,7 +242,7 @@ EqualityNodeId EqualityEngine::newNode(TNode node) { Debug("equality") << d_name << "::eq::newNode(" << node << ") => " << newId << std::endl; - // notify e.g. the UF theory strong solver + // notify e.g. the theory that owns this equality engine. if (d_performNotify) { d_notify.eqNotifyNewClass(node); } |