summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2000-04-20 16:20:59 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2000-04-20 16:20:59 +0000
commit6a9816ef2a629f50fab0f0078d56d7f443719d6f (patch)
treefa4957fea47d6438117d3f5994fa7a67ac5f6c9a
parentb870581fab349bd5ef0cf611b55a02e1c186d7a5 (diff)
include <fail.h> oublie
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--otherlibs/num/nat_stubs.c1
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"