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