kframework/k — pull request #1226 by dwightguth (2014-12-02 20:42:08+00:00)
Title: remove "isDefaultPattern" field

**do not review yet**