diff options
Diffstat (limited to 'src/map/scl/scl.c')
-rw-r--r-- | src/map/scl/scl.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/map/scl/scl.c b/src/map/scl/scl.c index 83eaa9f4..8fd4b1e5 100644 --- a/src/map/scl/scl.c +++ b/src/map/scl/scl.c @@ -1850,7 +1850,13 @@ int Scl_CommandReadConstr( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } fclose( pFile ); - Abc_SclReadTimingConstr( pAbc, pFileName, fVerbose ); +// Abc_SclReadTimingConstr( pAbc, pFileName, fVerbose ); + + if ( pNtk == NULL ) + { + fprintf( pAbc->Err, "There is no current network.\n" ); + return 1; + } // input constraint manager if ( pNtk ) |