From ed753f3dcdd4a71fc46c620b57b7afa808b83368 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 12 Mar 2018 11:10:50 +0100
Subject: Fix whitespace issue in TacticNotationsVisitor.py

---
 doc/tools/coqrst/notations/TacticNotationsVisitor.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/tools/coqrst/notations/TacticNotationsVisitor.py b/doc/tools/coqrst/notations/TacticNotationsVisitor.py
index 80e69d4335..423b2cfe9d 100644
--- a/doc/tools/coqrst/notations/TacticNotationsVisitor.py
+++ b/doc/tools/coqrst/notations/TacticNotationsVisitor.py
@@ -50,4 +50,4 @@ class TacticNotationsVisitor(ParseTreeVisitor):
 
 
 
-del TacticNotationsParser
\ No newline at end of file
+del TacticNotationsParser
-- 
cgit v1.2.3