From 8ae2189114e461b58c3b0d10c33d7d034ab10335 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Thu, 7 Nov 2019 00:48:12 +0100
Subject: [PATCH] proofloc.py: fix single-line proof pattern

---
 scripts/proofloc.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/proofloc.py b/scripts/proofloc.py
index 2b0914b71..34239a8e8 100755
--- a/scripts/proofloc.py
+++ b/scripts/proofloc.py
@@ -9,9 +9,9 @@ from collections import defaultdict
 
 SINGLE_LINE_PROOF_PATTERN = re.compile(
 r"""
-[ \t^]Proof\.  # Proof keyword
+([ \t]|^)Proof\.  # Proof keyword
 .*             # The actual proof.
-[ \t^.]Qed\.   # End of proof keyword.
+[ \t.]Qed\.   # End of proof keyword.
 """
 , re.VERBOSE)
 
-- 
GitLab