kframework/k — pull request #1215 by dwightguth (2014-11-28 21:10:49+00:00)
Title: fix Andrei's bug with read stdin

@andreistefanescu please review and let me know if this fixes your issue.