aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--generic/pg-pbrpm.el4
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index aef76300..d9f7f5a1 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -202,7 +202,7 @@ The prover command is processed via pg-pbrpm-run-command."
(goto-char start)
(let ((pos (search-forward "\\[" end 0)) (goalnum 0))
(if pos (progn
- (delete-backward-char) (delete-backward-char)
+ (delete-backward-char 2)
(setq end (- end 2))
(setq pos (- pos 2))))
; (message "make l span %d %d" start (if pos pos end))
@@ -212,7 +212,7 @@ The prover command is processed via pg-pbrpm-run-command."
(if pos
(progn
(search-forward "\\]" end)
- (delete-backward-char) (delete-backward-char)
+ (delete-backward-char 2)
(setq end (- end 2))
(setq start (point))
(save-excursion