diff options
Diffstat (limited to 'lib/ctzti2.c')
-rw-r--r-- | lib/ctzti2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ctzti2.c b/lib/ctzti2.c index 1c9508fd5524..66dc01b7ad3e 100644 --- a/lib/ctzti2.c +++ b/lib/ctzti2.c @@ -12,10 +12,10 @@ * ===----------------------------------------------------------------------=== */ -#if __x86_64 - #include "int_lib.h" +#if __x86_64 + /* Returns: the number of trailing 0-bits */ /* Precondition: a != 0 */ |