diff options
| author | David Kastrup <dak@gnu.org> | 2015-07-11 17:55:09 +0200 |
|---|---|---|
| committer | David Kastrup <dak@gnu.org> | 2015-07-18 08:13:55 +0200 |
| commit | 2ca356d824f37951de81d60f76eaaaefda436cff (patch) | |
| tree | 81a4b937a902edd8430374be13749c525f9787c5 /python | |
| parent | 2c75141e4d2b706a24d70296354a065ee8606bb8 (diff) | |
Issue 4492: Redundant music-has-type -> music-is-of-type?
Diffstat (limited to 'python')
| -rw-r--r-- | python/convertrules.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/python/convertrules.py b/python/convertrules.py index c1506654e0..a824fcbd5a 100644 --- a/python/convertrules.py +++ b/python/convertrules.py @@ -3826,6 +3826,12 @@ def conv(str): return str return inner (str) +@rule ((2, 19, 24), "music-has-type -> music-is-of-type?") +def conv (str): + str = re.sub (r'(?<=\s|["\\()])' + "music-has-type" + r'(?=\s|["\\()])', + "music-is-of-type?", str) + return str + # Guidelines to write rules (please keep this at the end of this file) # # - keep at most one rule per version; if several conversions should be done, |