diff options
Diffstat (limited to 'devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli')
| -rw-r--r-- | devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli b/devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli new file mode 100644 index 000000000000..6b6796a10b10 --- /dev/null +++ b/devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli @@ -0,0 +1,14 @@ +--- ocaml-parser/terminfo.mli-- Mon Aug 16 21:37:42 2004 ++++ ocaml-parser/terminfo.mli Mon Aug 16 21:37:56 2004 +@@ -19,7 +19,7 @@ + | Bad_term + | Good_term of int (* number of lines of the terminal *) + ;; +-external setup : out_channel -> status = "terminfo_setup";; +-external backup : int -> unit = "terminfo_backup";; +-external standout : bool -> unit = "terminfo_standout";; +-external resume : int -> unit = "terminfo_resume";; ++external setup : out_channel -> status = "caml_terminfo_setup";; ++external backup : int -> unit = "caml_terminfo_backup";; ++external standout : bool -> unit = "caml_terminfo_standout";; ++external resume : int -> unit = "caml_terminfo_resume";; |