diff options
Diffstat (limited to 'lang/nml/files/patch-ocaml__byterun__sys.c')
| -rw-r--r-- | lang/nml/files/patch-ocaml__byterun__sys.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lang/nml/files/patch-ocaml__byterun__sys.c b/lang/nml/files/patch-ocaml__byterun__sys.c deleted file mode 100644 index 01b315091350..000000000000 --- a/lang/nml/files/patch-ocaml__byterun__sys.c +++ /dev/null @@ -1,13 +0,0 @@ ---- ./ocaml/byterun/sys.c.orig 2014-08-02 13:18:24.000000000 -0400 -+++ ./ocaml/byterun/sys.c 2014-08-02 13:18:48.000000000 -0400 -@@ -71,8 +71,8 @@ - - #else - --extern int sys_nerr; --extern char * sys_errlist []; -+extern const int sys_nerr; -+extern const char * const sys_errlist []; - - char * error_message(void) - { |