Merge branch 'master' of https://git.eleves.ens.fr/mpepin/sysdig

simulator/syscall.ml

@@ -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. *)