diff --git a/src/runtime/object.h b/src/runtime/object.h index b7d53c886b..011f17eb6e 100644 --- a/src/runtime/object.h +++ b/src/runtime/object.h @@ -12,7 +12,7 @@ Author: Leonardo de Moura #if !defined(__APPLE__) #include #endif -#include "config.h" +#include "config.h" // NOLINT #include "runtime/compiler_hints.h" #include "runtime/mpz.h" #include "runtime/int64.h"