diff options
Diffstat (limited to 'src/theory/uf/ho_extension.cpp')
| -rw-r--r-- | src/theory/uf/ho_extension.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/uf/ho_extension.cpp b/src/theory/uf/ho_extension.cpp index 6d6f49c7f..23b7b9217 100644 --- a/src/theory/uf/ho_extension.cpp +++ b/src/theory/uf/ho_extension.cpp @@ -336,8 +336,8 @@ unsigned HoExtension::checkAppCompletion() { if (n[k].getType().isFunction()) { - TNode rop = ee->getRepresentative(n[k]); - curr_rops[rop] = true; + TNode rop2 = ee->getRepresentative(n[k]); + curr_rops[rop2] = true; } } } |