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
     }