diff --git a/src/cil.ml b/src/cil.ml
index b40466fe8..1696ea218 100755
--- a/src/cil.ml
+++ b/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 "} "