diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-07-23 14:12:03 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-07-23 14:12:03 +0000 |
| commit | 37bf95c248f7f8e9f0f2557224837e530c428e93 (patch) | |
| tree | 1fe95869eaf97ba5888bb1f2a7163a4d6770d4f3 /emacs | |
| parent | 30fdb7585514c6557ad38b87f8bfe079c322edc4 (diff) | |
| download | ocaml-37bf95c248f7f8e9f0f2557224837e530c428e93.tar.gz | |
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'emacs')
| -rw-r--r-- | emacs/inf-caml.el | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/emacs/inf-caml.el b/emacs/inf-caml.el index b3f768578e..f24a7a71fe 100644 --- a/emacs/inf-caml.el +++ b/emacs/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 |