fix FP related to inverted character classes choosing a char that was not matched by the char class

This commit is contained in:
Erik Krogh Kristensen
2020-11-17 17:34:43 +01:00
parent a49b99b18c
commit 97acf1fd87
2 changed files with 4 additions and 1 deletions

View File

@@ -222,7 +222,7 @@ abstract class CharacterClass extends InputSymbol {
/**
* Gets a character matched by this character class.
*/
string choose() { result = getARelevantChar() }
string choose() { result = getARelevantChar() and matches(result) }
}
/**