diff options
| -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 ^ "."); |