Added "retime" to standard ABC recipes

diff --git a/passes/abc/abc.cc b/passes/abc/abc.cc
index b3050ef0708016b02bf4e2cb3df336f9258ad094..8f873867dbeb497b454cc05f58cfe6fe90453f12 100644 (file)
--- a/passes/abc/abc.cc
+++ b/passes/abc/abc.cc
@@ -29,10 +29,10 @@
 // Kahn, Arthur B. (1962), "Topological sorting of large networks", Communications of the ACM 5 (11): 558–562, doi:10.1145/368996.369025
 // http://en.wikipedia.org/wiki/Topological_sorting
 
-#define ABC_COMMAND_LIB "strash; balance; dch; map; topo"
-#define ABC_COMMAND_CTR "strash; balance; dch; map; topo; buffer; upsize; dnsize; stime"
-#define ABC_COMMAND_LUT "strash; balance; dch; if"
-#define ABC_COMMAND_DFL "strash; balance; dch; map"
+#define ABC_COMMAND_LIB "strash; retime; balance; dch; map; topo"
+#define ABC_COMMAND_CTR "strash; retime; balance; dch; map; topo; buffer; upsize; dnsize; stime"
+#define ABC_COMMAND_LUT "strash; retime; balance; dch; if"
+#define ABC_COMMAND_DFL "strash; retime; balance; dch; map"
 
 #include "kernel/register.h"
 #include "kernel/sigtools.h"