COPYRIGHT_STRING "\n\n"
"// Do not edit this file unless you know what you are doing.\n",
is_ttcn ? "TTCN-3" : "ASN.1", user_info);
+
+ if (profiler_enabled) {
+ output->source.includes = mputstr(output->source.includes, "#include \"Profiler.hh\"\n");
+ }
if (output->source.includes != NULL) {
fputs("\n/* Including header files */\n\n", fp);