Fix variable shadowing bug in sets. (#3898)

diff --git a/src/theory/sets/normal_form.h b/src/theory/sets/normal_form.h
index d7c68a5749717b94881f02ef13ca56b58ce520a9..5c72183327d743f61de595d217d368d0b57920b0 100644 (file)
--- 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];
       }