diff options
author | Tim King <taking@cs.nyu.edu> | 2016-12-02 14:40:43 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-02 14:40:43 -0800 |
commit | 4fc80090fa10ec7af42e3147ac44be3c3a49e3d1 (patch) | |
tree | f504331b3d661a40bafdd5bcf4fec6372949ceec /src | |
parent | 8f8e1b01ba012c438ce76701f185006364a5c448 (diff) | |
parent | 4f2f73844f1d0f07f3e0fd48079d00be2733533e (diff) |
Merge pull request #95 from 4tXJ7f/fix_sierra_build
Revert "Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard to have a…
Diffstat (limited to 'src')
-rw-r--r-- | src/lib/ffs.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/ffs.c b/src/lib/ffs.c index 81228be63..d42f9da94 100644 --- a/src/lib/ffs.c +++ b/src/lib/ffs.c @@ -21,6 +21,7 @@ #ifdef __cplusplus extern "C" { #endif /* __cplusplus */ +#ifndef HAVE_FFS int ffs(int i) { long mask = 0x1; @@ -35,6 +36,7 @@ int ffs(int i) { return 0; } +#endif /* ifndef HAVE_FFS */ #ifdef __cplusplus }/* extern "C" */ #endif /* __cplusplus */ |