Project file change to add extraBddTime.c

1be6644c · Alan Mishchenko · 78aed3f6 · 1be6644c
Commit 1be6644c authored Feb 11, 2011 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

abclib.dsp
+4 -0

No files found.
--- 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