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";
         }