diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-06-10 07:24:26 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-06-10 07:24:26 +0200 |
commit | 56d48227195139f9b85c9f868a192c116266dac4 (patch) | |
tree | 2f0b3bf67ccc8c88c2dea065669901ba1898b1e6 /passes/techmap/Makefile.inc | |
parent | 85287295b27dc3d51d2958dccb4f9098984b794a (diff) |
Renamed "aig" to "aigmap"
Diffstat (limited to 'passes/techmap/Makefile.inc')
-rw-r--r-- | passes/techmap/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/Makefile.inc b/passes/techmap/Makefile.inc index 3cbee5b8..e39d5c5c 100644 --- a/passes/techmap/Makefile.inc +++ b/passes/techmap/Makefile.inc @@ -18,7 +18,7 @@ OBJS += passes/techmap/dff2dffe.o OBJS += passes/techmap/dffinit.o OBJS += passes/techmap/pmuxtree.o OBJS += passes/techmap/muxcover.o -OBJS += passes/techmap/aig.o +OBJS += passes/techmap/aigmap.o endif GENFILES += passes/techmap/techmap.inc |