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

remove static from format (not thread safe), remove std::move #1466

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-02-05 16:46:49 -08:00
parent 2853558bc2
commit 3e810d6c54
3 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/muz/rel/dl_instruction.cpp
View file

@ -190,8 +190,8 @@ namespace datalog {
func_decl_ref m_pred;
reg_idx m_reg;
public:
instr_io(bool store, func_decl_ref pred, reg_idx reg)
: m_store(store), m_pred(std::move(pred)), m_reg(reg) {}
instr_io(bool store, func_decl_ref const& pred, reg_idx reg)
: m_store(store), m_pred(pred), m_reg(reg) {}
virtual bool perform(execution_context & ctx) {
log_verbose(ctx);
if (m_store) {