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/sets | |
| parent | d85eefdf97566c22dddc94a3cf27ae19c24ec4f3 (diff) | |
Fix variable shadowing bug in sets. (#3898)
Diffstat (limited to 'src/theory/sets')
| -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]; } |