From 278fd03f196db4972352aa8f26c0f98077872888 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 May 2018 13:31:26 -0700
Subject: [PATCH] GLU -> GNU fix  #1643

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);