From f10621fce14c44b8d776cdf1abb9998767fceec1 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 23 Aug 2006 14:47:28 +0000
Subject: Coq indentation small fixes.

---
 generic/proof-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index db19ce4e..03bd7b00 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -115,8 +115,8 @@ nil if a region cannot be found."
 If so, return non-nil."
   (or
    (proof-buffer-syntactic-context)
-   (proof-looking-at-safe proof-script-comment-start-regexp)
-   (proof-looking-at-safe proof-string-start-regexp)))
+   (when (proof-looking-at-safe proof-script-comment-start-regexp) 'comment)
+   (when (proof-looking-at-safe proof-string-start-regexp) 'string)))
 
 
 
-- 
cgit v1.2.3