diff options
Diffstat (limited to 'otherlibs/num/bng.c')
| -rw-r--r-- | otherlibs/num/bng.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/num/bng.c b/otherlibs/num/bng.c index 0483ef51f..585e434e2 100644 --- a/otherlibs/num/bng.c +++ b/otherlibs/num/bng.c @@ -14,7 +14,7 @@ /* $Id$ */ #include "bng.h" -#include "config.h" +#include "caml/config.h" #if defined(__GNUC__) && BNG_ASM_LEVEL > 0 #if defined(BNG_ARCH_ia32) |