summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <demaille@gostai.com>2012-02-19 10:18:29 +0100
committerAkim Demaille <demaille@gostai.com>2012-02-19 10:21:32 +0100
commitbd65f25570a90fe248b7b9ddb59a0d05ea7c79d6 (patch)
treeb545223d3486d39af75ff4a163fe85aaed5ccf4d
parent7880130e3e04c8b4b7ed4311e1112bf936dbad3e (diff)
downloadbison-bd65f25570a90fe248b7b9ddb59a0d05ea7c79d6.tar.gz
bitset: fix an incorrect error message.
* lib/bitset_stats.c: here. Reported by Stefano Lattarini.
-rw-r--r--THANKS1
-rw-r--r--lib/bitset_stats.c2
2 files changed, 2 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index 23907e68..5713bfc2 100644
--- a/THANKS
+++ b/THANKS
@@ -96,6 +96,7 @@ Sebastian Setzer sebastian.setzer.ext@siemens.com
Sebastien Fricker sebastien.fricker@gmail.com
Sergei Steshenko sergstesh@yahoo.com
Shura debil_urod@ngs.ru
+Stefano Lattarini stefano.lattarini@gmail.com
Steve Murphy murf@parsetree.com
Summum Bonum sum@geekhouse.org
Thiru Ramakrishnan thiru.ramakrishnan@gmail.com
diff --git a/lib/bitset_stats.c b/lib/bitset_stats.c
index 54c746c0..bde9b988 100644
--- a/lib/bitset_stats.c
+++ b/lib/bitset_stats.c
@@ -284,7 +284,7 @@ bitset_stats_write (const char *file_name)
{
if (fwrite (&bitset_stats_info_data, sizeof (bitset_stats_info_data),
1, file) != 1)
- perror (_("cannot not write stats file"));
+ perror (_("cannot write stats file"));
if (fclose (file) != 0)
perror (_("cannot write stats file"));
}