From ee641f353c9a2216533800464d26afe86f1b028e Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sun, 15 Apr 2012 01:17:01 -0500
Subject: Resolve some issues with proof builds

---
 src/xact.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/xact.cc')

diff --git a/src/xact.cc b/src/xact.cc
index 3f4b753c..226fd5ab 100644
--- a/src/xact.cc
+++ b/src/xact.cc
@@ -56,7 +56,8 @@ xact_base_t::~xact_base_t()
       // temporary is.
       assert(! post->has_flags(ITEM_TEMP));
 
-      post->account->remove_post(post);
+      if (post->account)
+        post->account->remove_post(post);
       checked_delete(post);
     }
   }
-- 
cgit v1.2.3