From 75ae58f49e85b10cde84ca0e79711fe2c7f75d37 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 9 May 2018 09:25:01 +0100 Subject: [PATCH] fix parenthesis Signed-off-by: Nikolaj Bjorner --- 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 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