diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 2c05cc52c..15d941b5b 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -800,7 +800,7 @@ namespace sat {
         }
         
         if (m_config.m_propagate_prefetch) {
-#if defined(__GLUC__) || defined(__clang__)
+#if defined(__GNUC__) || 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);