From 3e429f036866efdc78ee6f4163e198324a30c177 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 23 May 2017 13:23:19 -0700
Subject: [PATCH] fix(util/trie): fix the build

---
 src/util/trie.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/trie.h b/src/util/trie.h
index c0d2d1519..f1b690ceb 100644
--- a/src/util/trie.h
+++ b/src/util/trie.h
@@ -79,7 +79,7 @@ class trie : public KeyCMP {
         }
         n->m_children.for_each([&](Key const & k, trie const & c) {
                 prefix.push_back(k);
-                for_each(f, c, prefix);
+                trie::for_each(f, c, prefix);
                 prefix.pop_back();
             });
     }