summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-08-12 18:26:37 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-08-12 18:26:37 -0700
commit0deb8bf632e1700451ce4d69c99f9820e2fe0339 (patch)
treeceecf1180e82ef7a1eee436074a7e6870a1a385e /abclib.dsp
parente8ac47641fa410edc5de016478066d104f0beb9c (diff)
downloadabc-0deb8bf632e1700451ce4d69c99f9820e2fe0339.tar.gz
abc-0deb8bf632e1700451ce4d69c99f9820e2fe0339.tar.bz2
abc-0deb8bf632e1700451ce4d69c99f9820e2fe0339.zip
Suggested changes to collect and pass timing information (compiler issues).
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..d202ce83 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_new5.c
# End Source File
# Begin Source File