1 files changed, 0 insertions, 22 deletions
diff --git a/pkgs/development/tools/ocaml/omake/omake-lm_printf-gcc44.diff b/pkgs/development/tools/ocaml/omake/omake-lm_printf-gcc44.diff
deleted file mode 100644
index 03665340f5f9..000000000000
--- a/pkgs/development/tools/ocaml/omake/omake-lm_printf-gcc44.diff
+++ /dev/null
@@ -1,22 +0,0 @@
---- src/libmojave-external/cutil/lm_printf.c.orig	2007-07-15 19:55:23.000000000 +0200
-+++ src/libmojave-external/cutil/lm_printf.c		2009-06-21 19:20:40.000000000 +0200
-@@ -144,3 +144,3 @@
-         if(bufp != buffer)
--            free(buffer);
-+            free(bufp);
-         failwith("ml_print_string");
-@@ -149,3 +149,3 @@
-     if(bufp != buffer)
--        free(buffer);
-+        free(bufp);
-     return v_result;
-@@ -192,3 +192,3 @@
-         if(bufp != buffer)
--            free(buffer);
-+            free(bufp);
-         failwith("ml_print_string");
-@@ -197,3 +197,3 @@
-     if(bufp != buffer)
--        free(buffer);
-+        free(bufp);
-     return v_result;