From f9bdfe297853f3a318bbbd9e8485cf2759204afd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 May 2018 10:30:14 -0700
Subject: [PATCH] fix x86 warning

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

diff --git a/src/sat/sat_clause.cpp b/src/sat/sat_clause.cpp
index 70378d9c6..3cbd3015b 100644
--- a/src/sat/sat_clause.cpp
+++ b/src/sat/sat_clause.cpp
@@ -111,18 +111,22 @@ namespace sat {
 
     clause_offset clause::get_new_offset() const {
         unsigned o1 = m_lits[0].index();
+#if defined(_AMD64_) || defined(_M_IA64)
         if (sizeof(clause_offset) == 8) {
             unsigned o2 = m_lits[1].index();
             return (clause_offset)o1 + (((clause_offset)o2) << 32);
         }        
+#endif
         return (clause_offset)o1;
     }
 
     void clause::set_new_offset(clause_offset offset) {
         m_lits[0] = to_literal(static_cast<unsigned>(offset));
+#if defined(_AMD64_) || defined(_M_IA64)
         if (sizeof(offset) == 8) {
             m_lits[1] = to_literal(static_cast<unsigned>(offset >> 32));
         }
+#endif
     }