| OLD | NEW |
| 1 #include "util.h" | 1 #include "util.h" |
| 2 RCSID("$Id: bitvect.c 2063 2008-04-12 08:30:22Z peter $"); | |
| 3 | 2 |
| 4 #include "coretype.h" | 3 #include "coretype.h" |
| 5 | 4 |
| 6 /*****************************************************************************/ | 5 /*****************************************************************************/ |
| 7 /* MODULE NAME: BitVector.c MODULE TYPE: (adt) */ | 6 /* MODULE NAME: BitVector.c MODULE TYPE: (adt) */ |
| 8 /*****************************************************************************/ | 7 /*****************************************************************************/ |
| 9 /* MODULE IMPORTS: */ | 8 /* MODULE IMPORTS: */ |
| 10 /*****************************************************************************/ | 9 /*****************************************************************************/ |
| 11 #include <ctype.h> /* MODULE TYPE: (sys) */ | 10 #include <ctype.h> /* MODULE TYPE: (sys) */ |
| 12 #include <limits.h> /* MODULE TYPE: (sys) */ | 11 #include <limits.h> /* MODULE TYPE: (sys) */ |
| (...skipping 4024 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4037 /* Library General Public License for more details. */ | 4036 /* Library General Public License for more details. */ |
| 4038 /* */ | 4037 /* */ |
| 4039 /* You should have received a copy of the GNU Library General Public */ | 4038 /* You should have received a copy of the GNU Library General Public */ |
| 4040 /* License along with this library; if not, write to the */ | 4039 /* License along with this library; if not, write to the */ |
| 4041 /* Free Software Foundation, Inc., */ | 4040 /* Free Software Foundation, Inc., */ |
| 4042 /* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ | 4041 /* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ |
| 4043 /* */ | 4042 /* */ |
| 4044 /* or download a copy from ftp://ftp.gnu.org/pub/gnu/COPYING.LIB-2.0 */ | 4043 /* or download a copy from ftp://ftp.gnu.org/pub/gnu/COPYING.LIB-2.0 */ |
| 4045 /* */ | 4044 /* */ |
| 4046 /*****************************************************************************/ | 4045 /*****************************************************************************/ |
| OLD | NEW |