branch: externals/caml
commit 1a97395027b4e6143b9404da6be5effecfc88e1c
Author: Damien Doligez <damien.doligez-inria.fr>
Commit: Damien Doligez <damien.doligez-inria.fr>
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
inf-caml.el | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/inf-caml.el b/inf-caml.el
index b3f7685..f24a7a7 100644
--- a/inf-caml.el
+++ b/inf-caml.el
@@ -113,8 +113,8 @@ be sent from another buffer in Caml mode.
Input and output via buffer `*inferior-caml*'."
(interactive
(list (if (not (comint-check-proc inferior-caml-buffer-name))
- (read-from-minibuffer "Caml toplevel to run: "
- inferior-caml-program))))
+ (read-from-minibuffer "Caml toplevel to run: "
+ inferior-caml-program))))
(caml-run-process-if-needed cmd)
(switch-to-buffer-other-window inferior-caml-buffer-name))
@@ -250,15 +250,15 @@ should lies."
(cond ((re-search-forward
" *Characters \\([01-9][01-9]*\\)-\\([1-9][01-9]*\\):\n[^W]"
(point-max) t)
- (setq beg (string-to-int (caml-match-string 1)))
+ (setq beg (string-to-int (caml-match-string 1)))
(setq end (string-to-int (caml-match-string 2)))
(switch-to-buffer buf)
- (goto-char orig)
- (forward-byte end)
- (setq end (point))
- (goto-char orig)
- (forward-byte beg)
- (setq beg (point))
+ (goto-char orig)
+ (forward-byte end)
+ (setq end (point))
+ (goto-char orig)
+ (forward-byte beg)
+ (setq beg (point))
(setq err beg)
)
((looking-at
