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