summaryrefslogtreecommitdiff
path: root/lib/meta.c
diff options
context:
space:
mode:
authorPixel <>2001-04-15 03:27:30 +0000
committerPixel <>2001-04-15 03:27:30 +0000
commit9e44b6dca12c57022d66bd1fe7e9b50c3d741389 (patch)
tree2de7e6bc1319651403b12fd9341ff3be4c0aca8a /lib/meta.c
parentba6d5b2571acd4010c929901b490bcd836c4ca3c (diff)
Compilo
Diffstat (limited to 'lib/meta.c')
-rw-r--r--lib/meta.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/meta.c b/lib/meta.c
index 0bc6f48..be13434 100644
--- a/lib/meta.c
+++ b/lib/meta.c
@@ -617,7 +617,7 @@ void main(void)
instruct->istrings[i]);
break;
case 1:
- fprintf(stderr, " + %s <= %i (type prédéfinit)\n", instruct->implicits[i],
+ fprintf(stderr, " + %s <= %s (type prédéfinit)\n", instruct->implicits[i],
instruct->istrings[i]);
break;
case 2: