From 0ee93686c4a5eaea3309ddf75e7744d9c3e87734 Mon Sep 17 00:00:00 2001 From: "Chun Tian (binghe)" Date: Fri, 20 Sep 2024 09:52:27 +1000 Subject: [PATCH] Fixed some obvious issues in Emacs related files --- tools/hol-input.el | 2 +- tools/holscript-mode.el | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/hol-input.el b/tools/hol-input.el index 6a9358dc3d..77250cc96b 100644 --- a/tools/hol-input.el +++ b/tools/hol-input.el @@ -190,7 +190,7 @@ order for the change to take effect." (sexp :tag "Tweaking function")))) (defcustom hol-input-translations - (eval-when-compile (setq-local max-lisp-eval-depth 2800) `( + (eval-when-compile (setq-local max-lisp-eval-depth 3200) `( ;; Negation diff --git a/tools/holscript-mode.el b/tools/holscript-mode.el index 83c9ba2684..7e1e384e38 100644 --- a/tools/holscript-mode.el +++ b/tools/holscript-mode.el @@ -152,11 +152,11 @@ On existing quotes, toggles between ‘-’ and “-” pairs. Otherwise, inser (setq n (- n 1)))) ((< n 0) (setq n (- n)) - (setq n (- n (if (equal (skip-syntax-backward ".") 0) 0 1)))) + (setq n (- n (if (equal (skip-syntax-backward ".") 0) 0 1))) (while (> n 0) (skip-syntax-backward "^.") (skip-syntax-backward ".") - (setq n (- n 1))))) + (setq n (- n 1)))))) (defun is-a-then (s) (and s (or (string-equal s "THEN")