kframework/k — pull request #390 by dwightguth (2014-04-17 18:37:29+00:00)
Title: fix race condition with StringMatcher

See #389 for background.

@osa1 please review