diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-28 18:04:47 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-11-26 06:33:45 +0100 |
commit | bcecfbafabe0df5292d91a37cd80f9563b7ca1cb (patch) | |
tree | 6ff55cc8a26b68eb41b9a168785072131bdb0dee /src/main.c | |
parent | deb2fc1dfc9cfb8936fcc5a375115f7569ff3d25 (diff) | |
download | bison-bcecfbafabe0df5292d91a37cd80f9563b7ca1cb.tar.gz |
gnulib: update to use its bitsets
Bison's bitset were moved to gnulib.
* lib/abitset.c, lib/abitset.h, lib/bbitset.h, lib/bitset.c,
* lib/bitset.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
* lib/bitset_stats.c, lib/bitset_stats.h, lib/bitsetv-print.c,
* lib/bitsetv-print.h, lib/bitsetv.c, lib/bitsetv.h,
* lib/lbitset.h, lib/vbitset.c, lib/vbitset.h:
Remove.
* gnulib: Update.
* bootstrap.conf, lib/local.mk: Adjust.
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,8 +21,8 @@ #include <config.h> #include "system.h" -#include <bitset_stats.h> #include <bitset.h> +#include <bitset/stats.h> #include <configmake.h> #include <progname.h> #include <quotearg.h> |