diff --git a/src/smt/proto_model/proto_model.cpp b/src/smt/proto_model/proto_model.cpp
index 493948f32..8af3af277 100644
--- a/src/smt/proto_model/proto_model.cpp
+++ b/src/smt/proto_model/proto_model.cpp
@@ -367,8 +367,8 @@ void proto_model::complete_partial_funcs(bool use_fresh) {
 
     // m_func_decls may be "expanded" when we invoke get_some_value.
     // So, we must not use iterators to traverse it.
-    for (func_decl* f : m_func_decls) {
-        complete_partial_func(f, use_fresh);
+    for (unsigned i = 0; i < m_func_decls.size(); ++i) {
+        complete_partial_func(m_func_decls.get(i), use_fresh);
     }
 }