Corrections bugs libnum (Avril 2013)

FBoisson · May 17, 2013 · 70dd251 · 70dd251
1 parent 7d9566b
commit 70dd251
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/contrib/libnum/big_int.ml b/contrib/libnum/big_int.ml
@@ -10,7 +10,7 @@
 #open "fchar";;
 #open "pair";;
 #open "int_misc";;
-#open "nat";;
+#open "fnat";;
 
 type big_int = 
     { Sign : int; 

diff --git a/contrib/libnum/nat_stubs.c b/contrib/libnum/nat_stubs.c
@@ -4,6 +4,7 @@
 #include "mlvalues.h"
 #include "alloc.h"
 #include "nat.h"
+#include "memory.h"
 
 /* For debugging. */
 #define Assert(cond,msg) /**/