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