kframework/k — pull request #646 by owolabileg (2014-06-21 21:49:41+00:00)
Title: minor change to reduce the amount of stat'ing done at kompile time

As titled.

@dwightguth please review