diff options
Diffstat (limited to 'src/uitext.ml')
-rw-r--r-- | src/uitext.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 250c36f..a53d300 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -110,7 +110,7 @@ let getInput () = (* We cannot used buffered I/Os under Windows, as character '\r' is not passed through (probably due to the code that turns \r\n into \n) *) - let s = String.create 1 in + let s = Bytes.create 1 in let n = Unix.read Unix.stdin s 0 1 in if n = 0 then raise End_of_file; if s.[0] = '\003' then raise Sys.Break; |