diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-29 13:39:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-29 13:39:05 -0700 |
| commit | 90529df0592ed261a4c6685ffeb41ac6abf6e422 (patch) | |
| tree | a5c277f40aee5d027e8c6c98282ff7520d3b03fd /src/opt/dau/dauDsd.c | |
| parent | d94c8d3fd163913bfbdb3c06533ac1da62e1663b (diff) | |
| download | abc-90529df0592ed261a4c6685ffeb41ac6abf6e422.tar.gz abc-90529df0592ed261a4c6685ffeb41ac6abf6e422.tar.bz2 abc-90529df0592ed261a4c6685ffeb41ac6abf6e422.zip | |
Tentatively integrated new DSD.
Diffstat (limited to 'src/opt/dau/dauDsd.c')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index 6f970b62..262314d8 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -443,7 +443,7 @@ void Dau_DsdTestOne( word t, int i ) { word t2; char * p = Dau_DsdPerform( t ); -// return; + return; t2 = Dau_DsdToTruth( p ); if ( t != t2 ) { |