From 9f386306ef40269ddce0fe236f88470c774d7a1e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 Mar 2020 12:55:32 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/pb2bv_rewriter.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/rewriter/pb2bv_rewriter.cpp b/src/ast/rewriter/pb2bv_rewriter.cpp
index 1fcd4991f..8fccb157d 100644
--- a/src/ast/rewriter/pb2bv_rewriter.cpp
+++ b/src/ast/rewriter/pb2bv_rewriter.cpp
@@ -965,7 +965,6 @@ struct pb2bv_rewriter::imp {
                 r = e;
                 return;
             }
-            proof_ref rp(m());
             if (m_cfg.m_r.mk_app(full, e, r)) {
                 ee = r;
             }