kframework/k — pull request #1007 by yilongli (2014-09-26 21:15:57+00:00)
Title: fixing issue 985

fixed https://github.com/kframework/k/issues/985

The failing assertion seems to be too strong. Besides, this assertion is only made for builtin functions and not user-defined functions. So I guess it's ok to remove it.

@dwightguth @andreistefanescu please review