From 2b85f5ba649bcc81873697718fe8a9085d09c31d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 29 Aug 2005 08:01:00 -0700
Subject: Version abc50829

---
 abc.rc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'abc.rc')

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"
 
-- 
cgit v1.2.3