Fix pretty-printing of enumerations#185

michael-schwarz merged 1 commit intogoblint:developgoblint/cil:developfrom

nberth:fix-pretty-printing-of-enumerationsnberth/cil:fix-pretty-printing-of-enumerationsCopy head branch name to clipboard