From 43ca916f66ce9e1c876579d32c69f52ef9dd73fe Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Thu, 24 Dec 2020 22:00:21 +0100
Subject: [PATCH] Fix spelling error

---
 tl-parser.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tl-parser.c b/tl-parser.c
index 153d0ba..7f03766 100644
--- a/tl-parser.c
+++ b/tl-parser.c
@@ -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) {
   if (T->type != type_nat_const || T->nc) abort();
   if (s > 0) {
-    TL_ERROR ("Nat const can not preceed with %%\n");
+    TL_ERROR ("Nat const can not precede with %%\n");
     TL_FAIL;
   }
   TL_INIT (L);
@@ -1723,7 +1723,7 @@ struct tl_combinator_tree *tl_parse_ident (struct tree *T, int s) {
     L->act = act_var;
     L->type = v->type ? type_num : type_type;
     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;
     } else {
       if (s) {