Minor change to the project file.

This commit is contained in:
Alan Mishchenko 2011-02-13 13:39:56 -08:00
parent bef084bd9b
commit 350bedf53f
1 changed files with 4 additions and 0 deletions

View File

@ -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