diff options
Diffstat (limited to 'otherlibs/num/bng.h')
| -rw-r--r-- | otherlibs/num/bng.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/num/bng.h b/otherlibs/num/bng.h index 19f2e2b9c..527bee6ab 100644 --- a/otherlibs/num/bng.h +++ b/otherlibs/num/bng.h @@ -14,7 +14,7 @@ /* $Id$ */ #include <string.h> -#include "config.h" +#include "caml/config.h" typedef uintnat bngdigit; typedef bngdigit * bng; |