renamed "isNamedCapture" to "is_named_capture"

This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:52:08 +02:00
parent 2dc9022aa6
commit fbcd3dd893
7 changed files with 13 additions and 6 deletions

View File

@@ -72,3 +72,5 @@ range_quantifier_upper_bound.rel: reorder rangeQuantifierUpperBound.rel(int id,
rangeQuantifierUpperBound.rel: delete
is_capture.rel: reorder isCapture.rel(int id, int number) id number
isCapture.rel: delete
is_named_capture.rel: reorder isNamedCapture.rel(int id, string name) id name
isNamedCapture.rel: delete