summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-09-21 10:08:04 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-09-21 10:08:04 -0700
commita36325609845c7114541dd23ccb7dae3137f3fd4 (patch)
tree3b60e319a0b1781b164329665e718e57a68e536f /abclib.dsp
parente2f15482175a06a9aa9056a3a54b2bb05de2721a (diff)
downloadabc-a36325609845c7114541dd23ccb7dae3137f3fd4.tar.gz
abc-a36325609845c7114541dd23ccb7dae3137f3fd4.tar.bz2
abc-a36325609845c7114541dd23ccb7dae3137f3fd4.zip
Removing unused command.
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp8
1 files changed, 0 insertions, 8 deletions
diff --git a/abclib.dsp b/abclib.dsp
index fcbe343b..d1a2e3d5 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5171,14 +5171,6 @@ SOURCE=.\src\aig\gia\giaSim2.c
# End Source File
# Begin Source File
-SOURCE=.\src\aig\gia\giaSim4.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\aig\gia\giaSim5.c
-# End Source File
-# Begin Source File
-
SOURCE=.\src\aig\gia\giaSimBase.c
# End Source File
# Begin Source File