diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 670dc1d46..50fca7c1e 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -69,7 +69,7 @@ bool theory_seq::solution_map::is_root(expr* e) const {
 // e1 -> .... -> e3
 
 // e1 -> ... x, e2 -> ... x
-void theory_seq::solution_map::find_rec(expr* e, svector<std::pair<expr*, dependency*>>& finds) {
+void theory_seq::solution_map::find_rec(expr* e, svector<std::pair<expr*, dependency*> >& finds) {
     dependency* d = 0;
     std::pair<expr*, dependency*> value(e, d);
     do {
diff --git a/src/smt/theory_seq.h b/src/smt/theory_seq.h
index 372a75ed4..a05d056ea 100644
--- a/src/smt/theory_seq.h
+++ b/src/smt/theory_seq.h
@@ -82,7 +82,7 @@ namespace smt {
             expr* find(expr* e, dependency*& d);
             expr* find(expr* e);
             bool  find1(expr* a, expr*& b, dependency*& dep);
-            void  find_rec(expr* e, svector<std::pair<expr*, dependency*>>& finds);
+            void  find_rec(expr* e, svector<std::pair<expr*, dependency*> >& finds);
             bool  is_root(expr* e) const;
             void  cache(expr* e, expr* r, dependency* d);
             void  reset_cache() { m_cache.reset(); }