Fix an ordering issue in CoqLexer ---  pygments/lexers/functional.py |    2 +-  1 file changed, 1 insertion(+), 1 deletion(-)
Fix an ordering issue in CoqLexer
---
 pygments/lexers/functional.py |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments,aswinpj/Pygments