From 7e8fc63d90d364761ef43d74017d729a08e825c5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 20 Jun 2019 12:23:08 +0200 Subject: Adding synonym of 'read_dsd'. --- src/base/io/io.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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 ); -- cgit v1.2.3