From 57115688eaaa6c28e1af2a6eae5b4be9ff87f34a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 3 Sep 2015 15:07:55 -0700 Subject: [PATCH] chore(util/thread): fix style --- src/util/thread.cpp | 1 + src/util/thread.h | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/thread.cpp b/src/util/thread.cpp index 58b92e8ae..21f7a1fb6 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 #include #include #include diff --git a/src/util/thread.h b/src/util/thread.h index 6d24f83a0..c5fe069e7 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();