]> git.eshelyaron.com Git - sweep.git/commitdiff
; * sweeprolog.el (sweeprolog-query-replace-term): Update comment
authorEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:36:51 +0000 (14:36 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:36:51 +0000 (14:36 +0200)
sweeprolog.el

index 1b202218783d47580dba29947e296af3524b8b94..7e984c1b816634c7e3e793f36dff7026181db65b 100644 (file)
@@ -5932,7 +5932,8 @@ prompt for CLASS as well."
                   (combine-after-change-calls
                     (delete-region b e)
                     (insert r)
-                    ;; TODO - turn fresh variables in rep into holes
+                    ;; TODO - mark fresh variables in the replacement
+                    ;; term as holes.
                     (let ((inhibit-message t))
                       (indent-region-line-by-line b (point))))
                   (cl-incf count (if i -1 1))))