kframework/k — pull request #1248 by dwightguth (2014-12-09 23:03:46+00:00)
Title: fix #open for "w"

@yilongli please review