From 61eb8d1908e406dd1f5d1505e4d4193a5f7c71e4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 26 Oct 2021 11:39:13 +0200
Subject: [PATCH] add ref for regression
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/smt/smt_theory.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/smt/smt_theory.h b/src/smt/smt_theory.h
index 7799acf24..c47a7bcf7 100644
--- a/src/smt/smt_theory.h
+++ b/src/smt/smt_theory.h
@@ -481,6 +481,7 @@ namespace smt {
}
void log_axiom_unit(app* r) {
+ expr_ref _r(r, m);
log_axiom_instantiation(r);
m.trace_stream() << "[end-of-instance]\n";
}