diff --git a/src/util/thread.cpp b/src/util/thread.cpp
index 58b92e8ae2..21f7a1fb6b 100644
--- a/src/util/thread.cpp
+++ b/src/util/thread.cpp
@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <utility>
 #include <pthread.h>
 #include <vector>
 #include <iostream>
diff --git a/src/util/thread.h b/src/util/thread.h
index 6d24f83a08..c5fe069e7d 100644
--- a/src/util/thread.h
+++ b/src/util/thread.h
@@ -202,7 +202,7 @@ namespace lean {
 void initialize_thread();
 void finalize_thread();
 
-typedef void (*thread_finalizer)(void *);
+typedef void (*thread_finalizer)(void *); // NOLINT
 void register_post_thread_finalizer(thread_finalizer fn, void * p);
 void register_thread_finalizer(thread_finalizer fn, void * p);
 void run_thread_finalizers();