diff options
Diffstat (limited to 'lib/addvti3.c')
-rw-r--r-- | lib/addvti3.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/addvti3.c b/lib/addvti3.c index 9105c178994e..2efcf3b408e4 100644 --- a/lib/addvti3.c +++ b/lib/addvti3.c @@ -12,10 +12,10 @@ * ===----------------------------------------------------------------------=== */ -#if __x86_64 - #include "int_lib.h" +#if __x86_64 + /* Returns: a + b */ /* Effects: aborts if a + b overflows */ |