kframework/k — pull request #1041 by radumereuta (2014-10-07 19:34:42+00:00)
Title: Fixing issue #990.

Allow for fresh variables in the configuration.
@dwightguth please review.