diff options
Diffstat (limited to 'net/unison232/files/ocaml-external-patch-ab')
| -rw-r--r-- | net/unison232/files/ocaml-external-patch-ab | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/net/unison232/files/ocaml-external-patch-ab b/net/unison232/files/ocaml-external-patch-ab deleted file mode 100644 index 247ae274f9f7..000000000000 --- a/net/unison232/files/ocaml-external-patch-ab +++ /dev/null @@ -1,13 +0,0 @@ ---- ubase/uprintf.ml.orig Thu Jul 29 22:50:35 2004 -+++ ubase/uprintf.ml Thu Jul 29 22:51:55 2004 -@@ -10,8 +10,8 @@ - (* *) - (***********************************************************************) - --external format_int: string -> int -> string = "format_int" --external format_float: string -> float -> string = "format_float" -+external format_int: string -> int -> string = "caml_format_int" -+external format_float: string -> float -> string = "caml_format_float" - - let fprintf outchan doafter format = - let format = (Obj.magic format : string) in |