diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index c75e74942..c8173d1e7 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -793,7 +793,7 @@ namespace sat {
         
         if (m_config.m_propagate_prefetch) {
 #if defined(__GLUC__) || defined(__clang__)
-            __builtin_prefetch((const char*)(&*(m_watches[l.index()].c_ptr()));
+            __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