From 1638f5df49ff81e174f6a1c6915a65c9b9d4adf5 Mon Sep 17 00:00:00 2001 From: pboutill Date: Thu, 12 Apr 2012 20:49:15 +0000 Subject: Remove print call that do not use the pp mechanism Signed-off-by: Edward Z. Yang git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15148 85f007b7-540e-0410-9357-904b9bb8a0f7 --- toplevel/coqtop.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'toplevel') diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index fe6e350e6..cb14ff482 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -29,7 +29,7 @@ let get_version_date () = let print_header () = let (ver,rev) = (get_version_date ()) in - Printf.printf "Welcome to Coq %s (%s)\n" ver rev; + pp (str "Welcome to Coq "++ str ver ++ str " (" ++ str rev ++ str ")\n"); flush stdout let output_context = ref false @@ -38,7 +38,7 @@ let memory_stat = ref false let print_memory_stat () = if !memory_stat then - Format.printf "total heap size = %d kbytes\n" (heap_size_kb ()) + pp (str "total heap size = " ++ int (heap_size_kb ()) ++ str " kbytes" ++ fnl ()) let _ = at_exit print_memory_stat -- cgit v1.2.3