diff options
Diffstat (limited to 'test/monniaux/picosat-965/picosat.h')
-rw-r--r-- | test/monniaux/picosat-965/picosat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/picosat.h b/test/monniaux/picosat-965/picosat.h index 2369b1a6..e735aec9 100644 --- a/test/monniaux/picosat-965/picosat.h +++ b/test/monniaux/picosat-965/picosat.h @@ -23,7 +23,7 @@ IN THE SOFTWARE. #ifndef picosat_h_INCLUDED #define picosat_h_INCLUDED -#define INT_MOD(x, y) ((long) (x) % (y)) +#define INT_MOD(x, y) ((x) % (y)) /*------------------------------------------------------------------------*/ |