diff options
| -rw-r--r-- | otherlibs/num/nat_stubs.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/num/nat_stubs.c b/otherlibs/num/nat_stubs.c index 6fee76932..d1d0fbdfb 100644 --- a/otherlibs/num/nat_stubs.c +++ b/otherlibs/num/nat_stubs.c @@ -16,6 +16,7 @@ #include "alloc.h" #include "custom.h" #include "intext.h" +#include "fail.h" #include "memory.h" #include "mlvalues.h" #include "nat.h" |