kframework/k — pull request #836 by dwightguth (2014-08-13 16:24:43+00:00)
Title: add newline between elements in a constructor of a data structure in the...

... pretty printer

@andreistefanescu please review