From 5069da62a3a2338e0f13e6fde82c9a985e3082a5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Aug 2016 08:45:06 -0700
Subject: [PATCH] safe sat clause_offset in debug mode

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_clause.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/sat/sat_clause.cpp b/src/sat/sat_clause.cpp
index 7b8abf6fb..eb51cb6ac 100644
--- a/src/sat/sat_clause.cpp
+++ b/src/sat/sat_clause.cpp
@@ -125,7 +125,9 @@ namespace sat {
         m_allocator("clause-allocator") {
 #if defined(_AMD64_) 
         m_num_segments = 0;
+#if defined(Z3DEBUG)
         m_overflow_valid = false;
+#endif
 #endif
     }