diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 325d05c..9bf5dd0 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -3089,6 +3089,7 @@ CheckJob::continuation begin(CheckJob *job) { return nullptr; // Done } job->n = getFirstChildExists(job->n); + __builtin_prefetch(job->n); return down_left_spine; }