]> git.saurik.com Git - bison.git/commitdiff
bitset: fix an incorrect error message.
authorAkim Demaille <demaille@gostai.com>
Sun, 19 Feb 2012 09:18:29 +0000 (10:18 +0100)
committerAkim Demaille <demaille@gostai.com>
Sun, 19 Feb 2012 09:21:32 +0000 (10:21 +0100)
* lib/bitset_stats.c: here.
Reported by Stefano Lattarini.

THANKS
lib/bitset_stats.c

diff --git a/THANKS b/THANKS
index 23907e68c79cda5440957045b53477e042c906b1..5713bfc271290775c6a10ac8b756f22261ed0a73 100644 (file)
--- 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
 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
 Steve Murphy              murf@parsetree.com
 Summum Bonum              sum@geekhouse.org
 Thiru Ramakrishnan        thiru.ramakrishnan@gmail.com
index 54c746c001cafb9723134a620e50f93c8c579690..bde9b98848109f24a042cce8c1dad53fea9f02d2 100644 (file)
@@ -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)
     {
       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"));
     }
       if (fclose (file) != 0)
         perror (_("cannot write stats file"));
     }