From df35da1acfece2af81c7bcbab774a86b835f80b2 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Mon, 25 Mar 2013 10:48:48 -0700
Subject: [PATCH]  rule_manager::mk(): default initialization of m_proof to
 null

Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
 src/muz_qe/dl_rule.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/muz_qe/dl_rule.cpp b/src/muz_qe/dl_rule.cpp
index a13229e7a..14a316e48 100644
--- a/src/muz_qe/dl_rule.cpp
+++ b/src/muz_qe/dl_rule.cpp
@@ -502,6 +502,7 @@ namespace datalog {
         r->m_tail_size    = n;
         r->m_positive_cnt = source->m_positive_cnt;
         r->m_uninterp_cnt = source->m_uninterp_cnt;
+        r->m_proof        = 0;
         m.inc_ref(r->m_head);
         for (unsigned i = 0; i < n; i++) {
             r->m_tail[i] = source->m_tail[i];