diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 22:30:39 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:38 -0400 |
| commit | c49991b10bbf284082bb87c8094ff88a20828dfd (patch) | |
| tree | eada349b8925e056628dbf3f8d8a2c7bd11ca909 /src/expr/pickle_data.h | |
| parent | 2e36a4492b61fbd18988356e95c701b96ff63d7d (diff) | |
Clean up some compiler warnings on 32-bit.
Diffstat (limited to 'src/expr/pickle_data.h')
| -rw-r--r-- | src/expr/pickle_data.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/expr/pickle_data.h b/src/expr/pickle_data.h index beff1f8a9..2224c4f99 100644 --- a/src/expr/pickle_data.h +++ b/src/expr/pickle_data.h @@ -49,27 +49,27 @@ const unsigned NBITS_NCHILDREN = __CVC4__EXPR__NODE_VALUE__NBITS__NCHILDREN; const unsigned NBITS_CONSTBLOCKS = 32; struct BlockHeader { - unsigned d_kind : NBITS_KIND; + uint64_t d_kind : NBITS_KIND; };/* struct BlockHeader */ struct BlockHeaderOperator { - unsigned d_kind : NBITS_KIND; - unsigned d_nchildren : NBITS_NCHILDREN; - unsigned long : NBITS_BLOCK - (NBITS_KIND + NBITS_NCHILDREN); + uint64_t d_kind : NBITS_KIND; + uint64_t d_nchildren : NBITS_NCHILDREN; + uint64_t : NBITS_BLOCK - (NBITS_KIND + NBITS_NCHILDREN); };/* struct BlockHeaderOperator */ struct BlockHeaderConstant { - unsigned d_kind : NBITS_KIND; - unsigned long d_constblocks : NBITS_BLOCK - NBITS_KIND; + uint64_t d_kind : NBITS_KIND; + uint64_t d_constblocks : NBITS_BLOCK - NBITS_KIND; };/* struct BlockHeaderConstant */ struct BlockHeaderVariable { - unsigned d_kind : NBITS_KIND; - unsigned long : NBITS_BLOCK - NBITS_KIND; + uint64_t d_kind : NBITS_KIND; + uint64_t : NBITS_BLOCK - NBITS_KIND; };/* struct BlockHeaderVariable */ struct BlockBody { - unsigned long d_data : NBITS_BLOCK; + uint64_t d_data : NBITS_BLOCK; };/* struct BlockBody */ union Block { |