diff options
Diffstat (limited to 'src/aig/hop/hopUtil.c')
-rw-r--r-- | src/aig/hop/hopUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/hop/hopUtil.c b/src/aig/hop/hopUtil.c index a49e8397..9b5bf686 100644 --- a/src/aig/hop/hopUtil.c +++ b/src/aig/hop/hopUtil.c @@ -351,7 +351,7 @@ void Hop_ObjPrintVerilog( FILE * pFile, Hop_Obj_t * pObj, Vec_Vec_t * vLevels, i // constant case if ( Hop_ObjIsConst1(pObj) ) { - fprintf( pFile, "%d", !fCompl ); + fprintf( pFile, "1\'b%d", !fCompl ); return; } // PI case |