1034 |
MUSCLE_INSERT_INT ("maxtok", max_user_token_number); |
MUSCLE_INSERT_INT ("maxtok", max_user_token_number); |
1035 |
MUSCLE_INSERT_INT ("ntbase", ntokens); |
MUSCLE_INSERT_INT ("ntbase", ntokens); |
1036 |
MUSCLE_INSERT_INT ("error-verbose", error_verbose); |
MUSCLE_INSERT_INT ("error-verbose", error_verbose); |
1037 |
|
MUSCLE_INSERT_STRING ("prefix", spec_name_prefix); |
1038 |
|
|
1039 |
MUSCLE_INSERT_INT ("nnts", nvars); |
MUSCLE_INSERT_INT ("nnts", nvars); |
1040 |
MUSCLE_INSERT_INT ("nrules", nrules); |
MUSCLE_INSERT_INT ("nrules", nrules); |
1047 |
obstack_1grow (&action_obstack, 0); |
obstack_1grow (&action_obstack, 0); |
1048 |
muscle_insert ("action", obstack_finish (&action_obstack)); |
muscle_insert ("action", obstack_finish (&action_obstack)); |
1049 |
|
|
|
if (spec_name_prefix) |
|
|
MUSCLE_INSERT_STRING ("prefix", spec_name_prefix); |
|
1050 |
} |
} |
1051 |
|
|
1052 |
/*----------------------------------------------------------. |
/*----------------------------------------------------------. |