diff options
Diffstat (limited to 'src/bdd')
| -rw-r--r-- | src/bdd/dsd/dsd.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/dsd/dsd.h b/src/bdd/dsd/dsd.h index 49fe4552..83757951 100644 --- a/src/bdd/dsd/dsd.h +++ b/src/bdd/dsd/dsd.h @@ -78,7 +78,7 @@ typedef enum Dsd_Type_t_ Dsd_Type_t; #define Dsd_NodeForEachChild( Node, Index, Child ) \ for ( Index = 0; \ Index < Dsd_NodeReadDecsNum(Node) && \ - ((Child = Dsd_NodeReadDec(Node,Index))>=0); \ + ((Child = Dsd_NodeReadDec(Node,Index))!=0); \ Index++ ) //////////////////////////////////////////////////////////////////////// |