diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-03-06 20:35:27 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-03-06 20:35:27 +0000 |
| commit | a56ae9a35f7cb4b5ccd128c2b9610b4913d71331 (patch) | |
| tree | e5b0b6540712b1b96459f6d443bd83c39624b08d | |
| parent | 12ec3de6fbe366a59f835d6b2c2147ecd7764cb4 (diff) | |
petit probleme de format d'impression
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | debugger/show_source.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debugger/show_source.ml b/debugger/show_source.ml index ffd8ddd34..df06e2361 100644 --- a/debugger/show_source.ml +++ b/debugger/show_source.ml @@ -37,7 +37,7 @@ let print_line buffer line_number start point before = (* Tell Emacs we are nowhere in the source. *) let show_no_point () = - if !emacs then printf "\026\026H@." + if !emacs then printf "\026\026H\n" (* Print the line containing the point *) let show_point mdle point before selected = @@ -45,7 +45,7 @@ let show_point mdle point before selected = begin try let source = source_of_module mdle in printf "\026\026M%s:%i" source point; - printf "%s@." (if before then ":before" else ":after") + printf "%s\n" (if before then ":before" else ":after") with Not_found -> (* get_buffer *) prerr_endline ("No source file for " ^ mdle ^ "."); |