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 compilation error when using gcc.

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-01-24 12:38:37 -08:00
parent c89531bcf8
commit afaef63bfa
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/muz_qe/tab_context.cpp
View file

@ -852,7 +852,7 @@ namespace tb {
var_ref v(m), w(m); var_ref v(m), w(m);
v = m.mk_var(i, vars[i]); v = m.mk_var(i, vars[i]);
w = m.mk_var(j, vars[i]); w = m.mk_var(j, vars[i]);
m_S2.insert(v, 0, expr_offset(w, 0)); m_S2.insert(v.get(), 0, expr_offset(w, 0));
change = true; change = true;
} }
++j; ++j;