diff options
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) |