From e240e6c4300aad2b6cd64bef92cf9d8e165b5bfb Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 30 May 2015 12:12:23 +0100
Subject: [PATCH] Bugfix for variable renamings
 (fec815b41ef66c5dc28a04aeabd933fca59e4d37)

---
 src/ast/func_decl_dependencies.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/func_decl_dependencies.cpp b/src/ast/func_decl_dependencies.cpp
index 76f1e3889..d53c2d9b1 100644
--- a/src/ast/func_decl_dependencies.cpp
+++ b/src/ast/func_decl_dependencies.cpp
@@ -154,7 +154,7 @@ class func_decl_dependencies::top_sort {
             case OPEN:
                 set_color(cf, IN_PROGRESS);
                 if (visit_children(cf)) {
-                    SASSERT(m_todo.back() == f);
+                    SASSERT(m_todo.back() == cf);
                     m_todo.pop_back();
                     set_color(cf, CLOSED);
                 }