static term_t*
mkLiteral (char c, int kind)
{
- term_t* nt = (term_t*)malloc(sizeof(term_t));
+ term_t* nt = malloc(sizeof(term_t));
nt->kind = kind;
nt->u.c = c;
nt->next = 0;
static term_t*
mkID (char* s, int kind)
{
- term_t* nt = (term_t*)malloc(sizeof(term_t));
+ term_t* nt = malloc(sizeof(term_t));
nt->kind = kind;
nt->u.s = s;
nt->next = 0;
static term_t*
mkSeq (term_t* t1, term_t* t2, int kind)
{
- term_t* nt = (term_t*)malloc(sizeof(term_t));
+ term_t* nt = malloc(sizeof(term_t));
nt->kind = kind;
nt->u.t = t1;
t1->next = t2;
static term_t*
mkTerm (term_t* t, int kind)
{
- term_t* nt = (term_t*)malloc(sizeof(term_t));
+ term_t* nt = malloc(sizeof(term_t));
nt->kind = kind;
nt->u.t = t;
nt->next = 0;