1 files changed, 1 insertions, 1 deletions
diff --git a/abc.rc b/abc.rc
index a76cc04f..5de41064 100644
--- a/abc.rc
+++ b/abc.rc
@@ -119,6 +119,6 @@ alias chnewrs  "st; haig_start; resyn2rs; haig_use"
 alias stdsd    "r test/6in.blif; st; ps; u; bdd; dsd -g; st; ps"
 alias trec     "rec_start; r c.blif; st; rec_add; rec_use"
 alias trec4    "rec_start -K 4; r i10.blif; st; rec_add; rec_use"
-alias bmc      "frames -i -F 10; orpos; iprove"
+alias bmc2     "frames -i -F 10; orpos; iprove"