Fix some nits reported by twlevo.

[bison.git] / lib / abitset.c

diff --git a/lib/abitset.c b/lib/abitset.c
index c573f34aeee7913147a7fc7911aaa1176a0a4571..17c0a4af5a88a0a226b1aaa64fcb091378934781 100644 (file)
--- a/lib/abitset.c
+++ b/lib/abitset.c
@@ -13,12 +13,11 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
-*/
+   along with this program; if not, write to the Free Software Foundation,
+   Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
 
 #ifdef HAVE_CONFIG_H
-#include "config.h"
+# include <config.h>
 #endif
 
 #include "abitset.h"
@@ -34,8 +33,7 @@
 
 
 static bitset_bindex
-abitset_resize (bitset src ATTRIBUTE_UNUSED,
-               bitset_bindex size ATTRIBUTE_UNUSED)
+abitset_resize (bitset src, bitset_bindex size)
 {
     /* These bitsets have a fixed size.  */
     if (BITSET_SIZE_ (src) != size)