Fix

Author: tautschnig

src/cpp/cpp_internal_additions.cpp

@@ -160,17 +160,17 @@ void cpp_internal_additions(std::ostream &out)
       config.ansi_c.arch == "arm64" &&
       config.ansi_c.os != configt::ansi_ct::ost::OS_MACOS)
     {
-      code += "typedef struct __va_list {";
-      code += "void *__stack;";
-      code += "void *__gr_top;";
-      code += "void *__vr_top;";
-      code += "int   __gr_offs;";
-      code += "int   __vr_offs;";
-      code += " } __builtin_va_list;\n";
+      out << "typedef struct __va_list {";
+      out << "void *__stack;";
+      out << "void *__gr_top;";
+      out << "void *__vr_top;";
+      out << "int   __gr_offs;";
+      out << "int   __vr_offs;";
+      out << " } __builtin_va_list;" << '\n';
     }
     else
     {
-      code += "typedef void ** __builtin_va_list;\n";
+      out << "typedef void ** __builtin_va_list;" << '\n';
     }
   }