1 files changed, 2 insertions, 0 deletions
diff --git a/abc.rc b/abc.rc
index 6559ddf3..736dc73d 100644
--- a/abc.rc
+++ b/abc.rc
@@ -66,3 +66,5 @@ alias resyn2   "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
 alias thin     "rwz; rfz; b; ps"
 alias reti     "st; seq; ret; unseq; st"
 alias retis    "st; seq; ret; unseq -s; st"
+alias choice   "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore"
+