Fix spelling error

This commit is contained in:
Andrea Cavalli 2020-12-24 22:00:21 +01:00
parent d137b75516
commit 43ca916f66

View File

@ -1697,7 +1697,7 @@ struct tl_combinator_tree *tl_parse_expr (struct tree *T, int s) {
struct tl_combinator_tree *tl_parse_nat_const (struct tree *T, int s) { struct tl_combinator_tree *tl_parse_nat_const (struct tree *T, int s) {
if (T->type != type_nat_const || T->nc) abort(); if (T->type != type_nat_const || T->nc) abort();
if (s > 0) { if (s > 0) {
TL_ERROR ("Nat const can not preceed with %%\n"); TL_ERROR ("Nat const can not precede with %%\n");
TL_FAIL; TL_FAIL;
} }
TL_INIT (L); TL_INIT (L);
@ -1723,7 +1723,7 @@ struct tl_combinator_tree *tl_parse_ident (struct tree *T, int s) {
L->act = act_var; L->act = act_var;
L->type = v->type ? type_num : type_type; L->type = v->type ? type_num : type_type;
if (L->type == type_num && s) { if (L->type == type_num && s) {
TL_ERROR ("Nat var can not preceed with %%\n"); TL_ERROR ("Nat var can not precede with %%\n");
TL_FAIL; TL_FAIL;
} else { } else {
if (s) { if (s) {