diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-01-25 22:46:15 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-01-25 22:46:15 +0000 |
commit | a548eb3a131f988efed83653776710aaf2380943 (patch) | |
tree | 34730aa655a59c1bdd99a237327137ebe96e50a8 /toplevel/toploop.ml | |
parent | a982ea34b8108d08d2735257db550c98735cb242 (diff) |
Understanding the notion of standard channel for Format and Scanf.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.ml')
-rw-r--r-- | toplevel/toploop.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 92128150c..250a27b52 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -322,12 +322,12 @@ let first_line = ref true let got_eof = ref false;; let read_input_default prompt buffer len = - output_string stdout prompt; flush stdout; + output_string Pervasives.stdout prompt; flush Pervasives.stdout; let i = ref 0 in try while true do if !i >= len then raise Exit; - let c = input_char stdin in + let c = input_char Pervasives.stdin in buffer.[!i] <- c; incr i; if c = '\n' then raise Exit; |