mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-12-05 10:30:08 -08:00
parent b77e387265
commit c04f75cdbb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.cpp
View file

@ -143,7 +143,7 @@ void seq_decl_plugin::init() {
sort* seqABB[3] = { seqA, B, B }; sort* seqABB[3] = { seqA, B, B };
sort* str2T[2] = { strT, strT }; sort* str2T[2] = { strT, strT };
sort* str3T[3] = { strT, 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* re2T[2] = { reT, reT };
sort* strTreT[2] = { strT, reT }; sort* strTreT[2] = { strT, reT };
m_sigs.resize(LAST_SEQ_OP); m_sigs.resize(LAST_SEQ_OP);