kframework/k — pull request #843 by dwightguth (2014-08-14 20:41:07+00:00)
Title: add Cell2DataStructure to RuleCompilerSteps

@andreistefanescu please review