diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-18 19:42:03 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-18 19:42:03 +0700 |
| commit | fad6254c07ec04ce9ccb5fb67277cbe9b6a9db21 (patch) | |
| tree | 1d2d26ceb5da94fe6379fe9eaa310b414fff71d5 /src/base/pla | |
| parent | c602cbe33849e9365a3b8e3f13a13e696aa7b9ec (diff) | |
| download | abc-fad6254c07ec04ce9ccb5fb67277cbe9b6a9db21.tar.gz abc-fad6254c07ec04ce9ccb5fb67277cbe9b6a9db21.tar.bz2 abc-fad6254c07ec04ce9ccb5fb67277cbe9b6a9db21.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/pla')
| -rw-r--r-- | src/base/pla/pla.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/pla/pla.h b/src/base/pla/pla.h index b9816179..bf81f16d 100644 --- a/src/base/pla/pla.h +++ b/src/base/pla/pla.h @@ -232,7 +232,7 @@ static inline void Pla_ManPrintStats( Pla_Man_t * p, int fVerbose ) printf( "Cube =%8d ", Pla_ManCubeNum(p) ); printf( "LitIn =%8d ", Pla_ManLitInNum(p) ); printf( "LitOut =%8d ", Pla_ManLitOutNum(p) ); - printf( "%\n" ); + printf( "\n" ); } |