diff options
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 ) { |