kframework/k — pull request #1024 by dwightguth (2014-10-01 16:47:41+00:00)
Title: remove smtoptions from context

**do not review yet**