diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-03-02 17:00:42 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-02 17:00:42 -0800 |
commit | 32d08ae682e6396049ac26c3d26537fb34143cba (patch) | |
tree | 84857bcabcaabd678083b9fda3d0fb332071d1bb /src/theory | |
parent | d85eefdf97566c22dddc94a3cf27ae19c24ec4f3 (diff) |
Fix variable shadowing bug in sets. (#3898)
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/sets/normal_form.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/normal_form.h b/src/theory/sets/normal_form.h index d7c68a574..5c7218332 100644 --- a/src/theory/sets/normal_form.h +++ b/src/theory/sets/normal_form.h @@ -71,7 +71,7 @@ class NormalForm { << "[sets-checknormal] element = " << n[1][0] << " " << n[1][0].getId() << std::endl; if (n[1][0] >= prvs) return false; - TNode prvs = n[1][0]; + prvs = n[1][0]; n = n[0]; } |