summaryrefslogtreecommitdiffstats
path: root/toplevel/toploop.ml
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2009-01-25 22:46:15 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2009-01-25 22:46:15 +0000
commita548eb3a131f988efed83653776710aaf2380943 (patch)
tree34730aa655a59c1bdd99a237327137ebe96e50a8 /toplevel/toploop.ml
parenta982ea34b8108d08d2735257db550c98735cb242 (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.ml4
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;