From 36476b9115417b13d7359ebd99222bdc7c52f579 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Sat, 8 Nov 2014 23:45:34 -0500
Subject: [PATCH] fix(lean-util): handle case where incomplete hierarchical
 name ends with "."

Close #311
---
 src/emacs/lean-util.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/emacs/lean-util.el b/src/emacs/lean-util.el
index ed5937158..e419693ac 100644
--- a/src/emacs/lean-util.el
+++ b/src/emacs/lean-util.el
@@ -133,6 +133,8 @@
 
 (defun lean-find-hname-beg ()
   (save-excursion
+    (when (looking-at ".")
+      (backward-char 1))
     (let* ((new-id-beg (lean-find-id-beg))
            old-id-beg)
       (while new-id-beg