gettimeofday(&tv, (void *)0);
gensym_n = (tv.tv_sec%10000)*100 + tv.tv_usec/10000;
}
- symbol = (char *)malloc(32 * sizeof(char));
+ symbol = malloc(32 * sizeof(char));
gensym_n++;
sprintf(symbol, "et%ld", (long int) gensym_n);
return(symbol);
fprintf(cfile, "\t\"%s\",\n", description);
}
if (error_codes == (char **)NULL) {
- error_codes = (char **)malloc(sizeof(char *));
+ error_codes = malloc(sizeof(char *));
*error_codes = (char *)NULL;
}
error_codes = (char **)realloc((char *)error_codes,
fprintf(cfile, "\t\"%s\",\n", description);
}
if (error_codes == (char **)NULL) {
- error_codes = (char **)malloc(sizeof(char *));
+ error_codes = malloc(sizeof(char *));
*error_codes = (char *)NULL;
}
error_codes = (char **)realloc((char *)error_codes,