Merge pull request #112 from wakatime/fix/coq-lexer-text-analysis

Fix Coq text analysis keywords
wakatime · Feb 12, 2021 · ed848d1 · ed848d1
2 parents 6abe583 + 1cd7048
commit ed848d1
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/lexers/c/coq.go b/lexers/c/coq.go
@@ -1,15 +1,12 @@
 package c
 
 import (
-	"regexp"
 	"strings"
 
 	. "github.com/alecthomas/chroma" // nolint
 	"github.com/alecthomas/chroma/lexers/internal"
 )
 
-var coqAnalyzerQedCommandRe = regexp.MustCompile(`[qQ]ed`)
-
 // Coq lexer.
 var Coq = internal.Register(MustNewLexer(
 	&Config{
@@ -66,8 +63,7 @@ var Coq = internal.Register(MustNewLexer(
 		},
 	},
 ).SetAnalyser(func(text string) float32 {
-	if coqAnalyzerQedCommandRe.MatchString(text) &&
-		strings.Contains(text, "tauto") {
+	if strings.Contains(text, "Qed") && strings.Contains(text, "Proof") {
 		return 1.0
 	}