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 2016-01-14 00:56:52 +01:00
parent 2f0a049df8
commit a81c7c48d0
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/ast/rewriter/seq_rewriter.cpp
View file

@ -130,7 +130,8 @@ eautomaton* re2automaton::re2aut(expr* e) {
return alloc(eautomaton, sm); return alloc(eautomaton, sm);
} }
else if (u.re.is_full(e)) { else if (u.re.is_full(e)) {
sym_expr* _true = sym_expr::mk_pred(expr_ref(m.mk_true(), m)); expr_ref tt(m.mk_true(), m);
sym_expr* _true = sym_expr::mk_pred(tt);
return eautomaton::mk_loop(sm, _true); return eautomaton::mk_loop(sm, _true);
} }
#if 0 #if 0