From a66dc0afb6e16b51f89edaa0955865a7d56e373a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 25 Jun 2013 23:05:51 -0700 Subject: Unifying representation of mapping in GIA. --- abclib.dsp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index c4c9e0aa..a3228d4c 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3503,10 +3503,6 @@ SOURCE=.\src\aig\gia\giaCex.c # End Source File # Begin Source File -SOURCE=.\src\aig\gia\giaChoice.c -# End Source File -# Begin Source File - SOURCE=.\src\aig\gia\giaCof.c # End Source File # Begin Source File -- cgit v1.2.3