1 files changed, 1 insertions, 0 deletions
diff --git a/abc.rc b/abc.rc
index b2149dcd..03ef1eb6 100644
--- a/abc.rc
+++ b/abc.rc
@@ -117,6 +117,7 @@ alias rwsat       "st; rw -l; b -l; rw -l; rf -l"
 alias drwsat2     "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf"
 alias share       "st; multi -m; fx; resyn2"
 alias addinit     "read_init; undc; strash; zero"
+alias blif2aig    "undc; strash; zero"
 
 # resubstitution scripts for the IWLS paper
 alias src_rw      "st; rw -l; rwz -l; rwz -l"