editing PatternMatching.txt