Commit 0b2cf901 authored by Martin Pépin's avatar Martin Pépin
Browse files

Fix input int

parent 97bdc22b
......@@ -4,7 +4,9 @@ let sys_print_int a0 =
0
(** Reads an integer from stdin and returns it *)
let sys_input_int () = Scanf.scanf "%d " (fun x -> x)
let sys_input_int () =
let line = input_line stdin in
int_of_string line
(** Prints the string starting at start_addr in RAM on stdout.
The string must end with \000. *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment