Merge pull request #185 from nberth/fix-pretty-printing-of-enumerations

Fix pretty-printing of enumerations

Author: michael-schwarz

src/cil.ml

@@ -4017,7 +4017,7 @@ class defaultCilPrinterClass : cilPrinter = object (self)
                 (fun (n, attrs, i, loc) ->
                   text n
                     ++ self#pAttrs () attrs
-                    ++ text (n ^ " = ")
+                    ++ text " = "
                     ++ self#pExp () i)
                 () enum.eitems)
           ++ unalign ++ line ++ text "} "