Commit 7b5edc85 authored by MARCHE Claude's avatar MARCHE Claude

fix issue #130

parent 537d86b7
......@@ -329,8 +329,8 @@ end
module io.StdIO
syntax val print_char "Pervasives.print_char %1"
syntax val print_int "Pervasives.print_int (Z.to_int %1)"
syntax val print_newline "Pervasives.print_newline"
syntax val print_int "Pervasives.print_string (Z.to_string %1)"
syntax val print_newline "Pervasives.print_newline %1"
end
module random.Random
......
......@@ -26,6 +26,7 @@ module StdIO
(*i prints a string on standard output. *)
val print_int (n: int) : unit
writes { cur_pos, current_line }
(** prints an integer, in decimal, on standard output. *)
(*i val print_real (r:real) : unit *)
......@@ -44,5 +45,3 @@ module StdIO
ensures { !flushed = Cons (Reverse.reverse (old !current_line)) (old !flushed) }
end
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