diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-13 13:39:56 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-13 13:39:56 -0800 |
| commit | 350bedf53f6132d5c1af988e449a05c060943cd4 (patch) | |
| tree | e473d3ee9ebfed4365ec5cdbb8c8051c9a569add | |
| parent | bef084bd9bd09026ae03c787444e1cdbded89313 (diff) | |
| download | abc-350bedf53f6132d5c1af988e449a05c060943cd4.tar.gz abc-350bedf53f6132d5c1af988e449a05c060943cd4.tar.bz2 abc-350bedf53f6132d5c1af988e449a05c060943cd4.zip | |
Minor change to the project file.
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |