diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-24 18:03:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-24 18:03:52 +0000 |
| commit | 691063a7542a0daff71e3c56c1fab45de6bd1045 (patch) | |
| tree | f2f79d78055a49f94b12c31ac62c84d14795bdcb /isar | |
| parent | 57049995fd04bac6ae93d164dc88169bb6c908ea (diff) | |
isar-strip-terminators: backward-delete-char -> delete-char to fix Emacs 24 compile warning
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/isar/isar.el b/isar/isar.el index 3901a804..bf922e57 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -75,11 +75,10 @@ See -k option for Isabelle interface script." (save-excursion (goto-char (point-min)) (while (proof-search-forward ";" (point-max) t) - (if (not (proof-buffer-syntactic-context)) - (progn - (delete-backward-char 1) - (or (proof-looking-at ";\\|\\s-\\|$") - (insert " "))))))) + (while (not (proof-buffer-syntactic-context)) + (delete-char -1) + (or (proof-looking-at ";\\|\\s-\\|$") + (insert " ")))))) (defun isar-markup-ml (string) |