Bugfix

1 files changed, 1 insertions, 1 deletions

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;