Update PatternMatcher.h