From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 3 Mar 2020 01:00:42 +0000 (-0800)
Subject: Fix variable shadowing bug in sets. (#3898)
X-Git-Tag: cvc5-1.0.0~3572
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=32d08ae682e6396049ac26c3d26537fb34143cba;p=cvc5.git

Fix variable shadowing bug in sets. (#3898)
---

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