* under the terms of the license (GNU LGPL) which comes with this package. */
#include "instr/instr_private.h"
+#include "xbt/virtu.h" /* sg_cmdline */
#ifdef HAVE_TRACING
fprintf (tracing_file, "#[");
unsigned int cpt;
char *str;
- xbt_dynar_foreach (sg_cmdline, cpt, str){
+ xbt_dynar_foreach (xbt_cmdline, cpt, str){
fprintf(tracing_file, "%s ",str);
}
fprintf (tracing_file, "]\n");