From 32d08ae682e6396049ac26c3d26537fb34143cba Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 2 Mar 2020 17:00:42 -0800
Subject: [PATCH] Fix variable shadowing bug in sets. (#3898)

---
 src/theory/sets/normal_form.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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];
       }
 
-- 
2.30.2