1 files changed, 0 insertions, 1 deletions
diff --git a/abc.rc b/abc.rc
index c2549000..7d25ab1f 100644
--- a/abc.rc
+++ b/abc.rc
@@ -30,7 +30,6 @@ alias fs fraig_sweep
 alias fsto fraig_store
 alias fres fraig_restore
 alias ft fraig_trust
-alias mu renode -m
 alias pex print_exdc -d
 alias pf print_factor
 alias pfan print_fanio