if (argc == 3) {
char *last=strrchr(argv[2],'.');
- tracefilename=bprintf("%.*s.trace",last==NULL?strlen(argv[2]):last-argv[2],argv[2]);
+ tracefilename=bprintf("%.*s.trace",(int)(last==NULL?strlen(argv[2]):last-argv[2]),argv[2]);
} else {
tracefilename = xbt_strdup(argv[3]);
}