From a81c7c48d096863a4a76c7996124dff234b60680 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Jan 2016 00:56:52 +0100
Subject: [PATCH] fix build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/ast/rewriter/seq_rewriter.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp
index 2b6027a02..442de5503 100644
--- a/src/ast/rewriter/seq_rewriter.cpp
+++ b/src/ast/rewriter/seq_rewriter.cpp
@@ -130,7 +130,8 @@ eautomaton* re2automaton::re2aut(expr* e) {
return alloc(eautomaton, sm);
}
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);
}
#if 0