From 169f385c422b6885ef398e32517b0b9bc3349c7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micka=C3=ABl=20V=C3=A9ril?= Date: Fri, 11 Sep 2020 10:57:05 +0200 Subject: [PATCH] Remove unused variable --- tools/lib/data.py | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/lib/data.py b/tools/lib/data.py index 29f477c9..56c5fcac 100644 --- a/tools/lib/data.py +++ b/tools/lib/data.py @@ -69,7 +69,6 @@ class dataFileBase(object): for TexState in StateTablelist: st=str(extractMath(TexState,Soup=True,commands=commands)) m=re.match(r"^\^(?P\d)(?P[^\s\[(]*)\s*(?:\[(?:\\mathrm{)?(?P\w)(?:})\])?\s*(:?\((?P[^\)]*)\))?",st) - seq=m.group("multiplicity","symm") mul=int(m.group("multiplicity")) symm=m.group("symm") spgrp=m.group("special")