1 files changed, 2 insertions, 2 deletions
diff --git a/abc.rc b/abc.rc
index ba6913b8..cf648fcb 100644
--- a/abc.rc
+++ b/abc.rc
@@ -32,7 +32,7 @@ alias wl write_blif
 alias wp write_pla
 alias cnf   "st; renode -c; write_cnf"
 alias prove "st; renode -c; sat"
-alias opt   "b; renode; sop; b; ps"
+alias opt   "b; renode; b; ps"
 alias share "b; renode -m; fx; b; ps"
-alias resyn "b; rwz; rfz; b; rwz; rfz; b; ps"
+alias resyn "b; rw; rf; b; rwz; rfz; b; ps"