kframework/k — pull request #496 by liyili2 (2014-05-23 06:27:32+00:00)
Title: Javaflatten terms

Fixing the flattenTerms in java backend.