From 7a495eb1dc3db6c8dcbb039ef4ccfe2ae6e4bc26 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 12 Feb 2019 15:26:16 +0100
Subject: Fixes #411.

Stefan's cleanup stumbled on my lack of comments :-(. Some function
was supposed to return point found if found.
---
 coq/coq-indent.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index a8d94234..70191cb9 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -522,7 +522,9 @@ the (point-min) if there is no previous command."
   "Move to the start of command at point.
 The point is put exactly before first non comment letter of the command."
   (coq-find-current-start)
-  (forward-comment (point-max)))
+  (when (or (forward-comment (point-max))
+            (looking-at "\\S-"))
+    (point)))
 
 ;; (defun same-line (pt pt2)
 ;;  (or (= (line-number-at-pos pt) (line-number-at-pos pt2))))
-- 
cgit v1.2.3