From c04f75cdbbcd3a0e384af4bba62e65d425ff694c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 5 Dec 2015 10:30:08 -0800
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/seq_decl_plugin.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/seq_decl_plugin.cpp b/src/ast/seq_decl_plugin.cpp
index 41aa7aa90..5962af658 100644
--- a/src/ast/seq_decl_plugin.cpp
+++ b/src/ast/seq_decl_plugin.cpp
@@ -143,7 +143,7 @@ void seq_decl_plugin::init() {
     sort* seqABB[3] = { seqA, B, B };
     sort* str2T[2] = { strT, strT };
     sort* str3T[3] = { strT, strT, strT };
-    sort* strTint2T[3] { strT, intT, intT };
+    sort* strTint2T[3] = { strT, intT, intT };
     sort* re2T[2] = { reT, reT };
     sort* strTreT[2] = { strT, reT };
     m_sigs.resize(LAST_SEQ_OP);