summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1996-09-12 12:41:48 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1996-09-12 12:41:48 +0000
commit40c2553fdca66511374802f8c5d0cf0f5ff83f2f (patch)
tree7d5470513f3228cac33a24a2cb755a2889402780
parent8c48de93805d8cfeb7ed0a90601f420611e35610 (diff)
Mauvais type de buffer.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--byterun/terminfo.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/terminfo.c b/byterun/terminfo.c
index ea0b59098..83b5ba225 100644
--- a/byterun/terminfo.c
+++ b/byterun/terminfo.c
@@ -31,7 +31,7 @@
value terminfo_setup(unit) /* ML */
value unit;
{
- static buffer[1024];
+ static char buffer[1024];
if (tgetent(buffer, getenv("TERM")) != 1) failwith("Terminfo.setupterm");
return Val_unit;
}