summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-07-08 21:42:15 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-07-08 21:42:15 -0700
commit5a135c8799d439ad85ac9a0d105721ed80f355be (patch)
tree9d353c57599185fd29ef9cee8948de882881734f /abclib.dsp
parent4c90af0f10f3d79a084988c0fbdd915725160e94 (diff)
downloadabc-5a135c8799d439ad85ac9a0d105721ed80f355be.tar.gz
abc-5a135c8799d439ad85ac9a0d105721ed80f355be.tar.bz2
abc-5a135c8799d439ad85ac9a0d105721ed80f355be.zip
Experiments with MUX decomposition.
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp2
1 files changed, 1 insertions, 1 deletions
diff --git a/abclib.dsp b/abclib.dsp
index fcbe343b..c77ea4f4 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5103,7 +5103,7 @@ SOURCE=.\src\aig\gia\giaResub2.c
# End Source File
# Begin Source File
-SOURCE=.\src\aig\gia\giaResub3.c
+SOURCE=.\src\aig\gia\giaResub3_new.c
# End Source File
# Begin Source File