diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-06-20 12:23:08 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-06-20 12:23:08 +0200 |
| commit | 7e8fc63d90d364761ef43d74017d729a08e825c5 (patch) | |
| tree | 67bf389363c57fb66a17f09c75d067eaa170bca6 /src | |
| parent | 1dcf6c879f922bc00be7a0d3adfc7de25d608538 (diff) | |
| download | abc-7e8fc63d90d364761ef43d74017d729a08e825c5.tar.gz abc-7e8fc63d90d364761ef43d74017d729a08e825c5.tar.bz2 abc-7e8fc63d90d364761ef43d74017d729a08e825c5.zip | |
Adding synonym of 'read_dsd'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/io/io.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index ab23be3b..46fe1c80 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -106,6 +106,7 @@ void Io_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "I/O", "read_blif_mv", IoCommandReadBlifMv, 1 ); Cmd_CommandAdd( pAbc, "I/O", "read_bench", IoCommandReadBench, 1 ); Cmd_CommandAdd( pAbc, "I/O", "read_dsd", IoCommandReadDsd, 1 ); + Cmd_CommandAdd( pAbc, "I/O", "read_formula", IoCommandReadDsd, 1 ); // Cmd_CommandAdd( pAbc, "I/O", "read_edif", IoCommandReadEdif, 1 ); Cmd_CommandAdd( pAbc, "I/O", "read_eqn", IoCommandReadEqn, 1 ); Cmd_CommandAdd( pAbc, "I/O", "read_fins", IoCommandReadFins, 0 ); |