From bd0ea9705da15cd80585f76dd4a5ee3aba703099 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 8 May 2015 13:33:01 +0300
Subject: Bugfix

---
 coqCounter.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coqCounter.js b/coqCounter.js
index 69b1bac..be06ec4 100644
--- a/coqCounter.js
+++ b/coqCounter.js
@@ -25,7 +25,7 @@
 (function($){
     $.fn.coqCounter = function(output) {
         $(this).change(function(){
-            var regex = /(?:^|\n)([a-z][a-zA-Z_']*)/g;
+            var regex = /(?:^|\n)([a-z][a-zA-Z_']*|LEM)/g;
             var value = $(this).val();
             var matches = [], i = 0;
 
-- 
cgit v1.2.3