diff options
Diffstat (limited to 'otherlibs/bigarray')
| -rw-r--r-- | otherlibs/bigarray/.depend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/bigarray/.depend b/otherlibs/bigarray/.depend index cb6b574085..fde04c9d26 100644 --- a/otherlibs/bigarray/.depend +++ b/otherlibs/bigarray/.depend @@ -11,7 +11,7 @@ mmap_unix.o : bigarray.h ../../byterun/mlvalues.h ../../byterun/config.h \ ../../byterun/sys.h mmap_win32.o : bigarray.h ../../byterun/mlvalues.h ../../byterun/config.h \ ../../byterun/../config/m.h ../../byterun/../config/s.h \ - ../../byterun/misc.h ../../byterun/custom.h ../../byterun/fail.h \ - ../../byterun/sys.h ../unix/unixsupport.h + ../../byterun/misc.h ../../byterun/alloc.h ../../byterun/custom.h \ + ../../byterun/fail.h ../../byterun/sys.h ../unix/unixsupport.h bigarray.cmo: bigarray.cmi bigarray.cmx: bigarray.cmi |