diff options
Diffstat (limited to 'otherlibs/bigarray/bigarray_stubs.c')
| -rw-r--r-- | otherlibs/bigarray/bigarray_stubs.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/bigarray/bigarray_stubs.c b/otherlibs/bigarray/bigarray_stubs.c index 2309a7a8d..331762c10 100644 --- a/otherlibs/bigarray/bigarray_stubs.c +++ b/otherlibs/bigarray/bigarray_stubs.c @@ -18,7 +18,6 @@ #include <string.h> #include "alloc.h" #include "bigarray.h" -#include "compare.h" #include "custom.h" #include "fail.h" #include "intext.h" |