kframework/k — pull request #1005 by dwightguth (2014-09-26 20:08:58+00:00)
Title: remove duplicate io rules

**do not review yet**