From b0e68cbcd7f77044e76b1a5600db7bdaa1082140 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 9 May 2015 16:48:05 +0300
Subject: bugfix

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

(limited to 'coqCounter.js')

diff --git a/coqCounter.js b/coqCounter.js
index be06ec4..c3fe612 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_']*|LEM)/g;
+            var regex = /(?:^|\n)([a-z][a-zA-Z0-9_']*|LEM)/g;
             var value = $(this).val();
             var matches = [], i = 0;
 
-- 
cgit v1.2.3