diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-11 12:29:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-11 12:29:27 -0800 |
| commit | 1be6644ce520f50468665ff2db56fb8dcde1d59c (patch) | |
| tree | d6ecfb612ec541aed0ca76ea34db6175f74c4a54 | |
| parent | 78aed3f6d5b0ad85bca43c48cac53b6033e8f542 (diff) | |
| download | abc-1be6644ce520f50468665ff2db56fb8dcde1d59c.tar.gz abc-1be6644ce520f50468665ff2db56fb8dcde1d59c.tar.bz2 abc-1be6644ce520f50468665ff2db56fb8dcde1d59c.zip | |
Project file change to add extraBddTime.c
| -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 |