removed outated comment;

1 files changed, 0 insertions, 1 deletions

diff --git a/isar/isar.el b/isar/isar.el
index 7a1b9a4b..9c717941 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -636,7 +636,6 @@ Checks the width in the `proof-goals-buffer'"
 
 (defun isar-goalhyplit-test ()
   "This is a value for pg-topterm-goalhyplit-fn, see proof-config.el for docs."
-  ;; We need to find the end of the proof command on the current line.
   (let ((start (point)))
     (and (proof-re-search-forward "\375\\|\^AW" nil t)
       (cons 'lit (buffer-substring start (match-beginning 0))))))