From f06217e25a9905e5ebb9bce27ac06c456b9cf5f8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 21 Dec 2020 12:45:50 -0800 Subject: Compiler warnings. --- src/sat/satoko/utils/sdbl.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat/satoko') diff --git a/src/sat/satoko/utils/sdbl.h b/src/sat/satoko/utils/sdbl.h index 9f90ba02..a26794c7 100644 --- a/src/sat/satoko/utils/sdbl.h +++ b/src/sat/satoko/utils/sdbl.h @@ -121,8 +121,8 @@ static inline void sdbl_test() { sdbl_t ten100_ = ABC_CONST(0x014c924d692ca61b); printf("%f\n", sdbl2double(ten100_)); - printf("%016lX\n", double2sdbl(1 /0.95)); - printf("%016lX\n", SDBL_CONST1); + //printf("%016lX\n", double2sdbl(1 /0.95)); + //printf("%016lX\n", SDBL_CONST1); printf("%f\n", sdbl2double(SDBL_CONST1)); printf("%f\n", sdbl2double(ABC_CONST(0x000086BCA1AF286B))); -- cgit v1.2.3