]> 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:31:20 +0000 (10:31 +0100)
* lib/bitset_stats.c: here.
Reported by Stefano Lattarini.

THANKS
lib/bitset_stats.c

diff --git a/THANKS b/THANKS
index 93b2b4aeba3472c683e2800f37fcc99c4197ed52..868e81e0cd4385932b9e2d6cf3158b4822e3a198 100644 (file)
--- 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
index f6b87146ea568f003ede00499dff8ae4b1e1fa5f..dd14aabd50bf544a352db80ae14fa491fa104eaa 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)
-        perror (_("cannot not write stats file"));
+        perror (_("cannot write stats file"));
       if (fclose (file) != 0)
         perror (_("cannot write stats file"));
     }