diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index ee194721e..c75e74942 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -792,7 +792,11 @@ namespace sat {
         }
         
         if (m_config.m_propagate_prefetch) {
+#if defined(__GLUC__) || defined(__clang__)
+            __builtin_prefetch((const char*)(&*(m_watches[l.index()].c_ptr()));
+#else
             _mm_prefetch((const char*)(&*(m_watches[l.index()].c_ptr())), _MM_HINT_T1);
+#endif
         }
 
         SASSERT(!l.sign() || m_phase[v] == NEG_PHASE);