diff options
Diffstat (limited to 'src/aig/gia/giaAigerExt.c')
| -rw-r--r-- | src/aig/gia/giaAigerExt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAigerExt.c b/src/aig/gia/giaAigerExt.c index 7a3e4c91..1a0dedac 100644 --- a/src/aig/gia/giaAigerExt.c +++ b/src/aig/gia/giaAigerExt.c @@ -253,7 +253,7 @@ Vec_Int_t * Gia_AigerReadPacking( unsigned char ** ppPos, int nSize ) Vec_Str_t * Gia_WritePacking( Vec_Int_t * vPacking ) { Vec_Str_t * vBuffer = Vec_StrStart( 4*Vec_IntSize(vPacking) ); - memcpy( Vec_StrArray(vBuffer), Vec_IntArray(vPacking), 4*sizeof(int) ); + memcpy( Vec_StrArray(vBuffer), Vec_IntArray(vPacking), 4*Vec_IntSize(vPacking) ); return vBuffer; } |