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:31:20 +0100
commita7497ca6b6b3a853e0f231fe948b3981355b9e20 (patch)
tree2afa2a76cf358fd0fd76f152b3755a9f9b11e900
parentf483f4f8ecf022e5d15905e4a12d60259285fee8 (diff)
downloadbison-a7497ca6b6b3a853e0f231fe948b3981355b9e20.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 93b2b4ae..868e81e0 100644
--- a/THANKS
+++ b/THANKS
@@ -98,6 +98,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 f6b87146..dd14aabd 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"));
}