From cda61cb2fae5a3e0d151590586b83d25a6ef1426 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 18 Feb 2013 23:18:42 -0800 Subject: Integrating sweeping information. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index 17dc1bb8..195e93ff 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3559,6 +3559,10 @@ SOURCE=.\src\aig\gia\giaSupMin.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaSweep.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaSwitch.c # End Source File # Begin Source File -- cgit v1.2.3