diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-23 19:19:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-23 19:19:29 -0700 |
| commit | a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512 (patch) | |
| tree | c15b1939988dba61f80fe7b0a6197b290a59b6dd /abclib.dsp | |
| parent | 1ac9d2997cfe8ece3f611a4286c682a3e6a2c7eb (diff) | |
| download | abc-a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512.tar.gz abc-a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512.tar.bz2 abc-a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512.zip | |
Experiments with don't-cares.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5695,7 +5695,7 @@ SOURCE=.\src\proof\acec\acec.h # End Source File # Begin Source File -SOURCE=.\src\proof\acec\acec2Booth.c +SOURCE=.\src\proof\acec\acec2Mult.c # End Source File # Begin Source File |