From 1be6644ce520f50468665ff2db56fb8dcde1d59c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 11 Feb 2011 12:29:27 -0800 Subject: Project file change to add extraBddTime.c --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/abclib.dsp b/abclib.dsp index dc59fcd6..6a83a868 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -2175,6 +2175,10 @@ SOURCE=.\src\misc\extra\extraBddSymm.c # End Source File # Begin Source File +SOURCE=.\src\misc\extra\extraBddTime.c +# End Source File +# Begin Source File + SOURCE=.\src\misc\extra\extraBddUnate.c # End Source File # Begin Source File -- cgit v1.2.3