kframework/k — pull request #791 by andreistefanescu (2014-08-05 17:49:00+00:00)
Title: fixed issue with AddInjections not changing the productions properly; fi...

...xed SpecificationCompilerSteps to use AddInjections