From 1aed74edb0a2e63aac37a66626d8c7d3cc18ab5b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 12 Oct 2018 14:11:33 +0200 Subject: Compiler warning. --- src/bdd/extrab/extraBddMaxMin.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/bdd/extrab/extraBddMaxMin.c b/src/bdd/extrab/extraBddMaxMin.c index fc424f80..22d2b00a 100644 --- a/src/bdd/extrab/extraBddMaxMin.c +++ b/src/bdd/extrab/extraBddMaxMin.c @@ -476,7 +476,7 @@ extraZddMaxUnion( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddMaxUnion(dd, T, S); /* check cache */ @@ -585,7 +585,7 @@ extraZddMinUnion( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddMinUnion(dd, T, S); /* check cache */ @@ -690,7 +690,7 @@ extraZddDotProduct( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddDotProduct(dd, T, S); /* check cache */ @@ -815,7 +815,7 @@ extraZddCrossProduct( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddCrossProduct(dd, T, S); /* check cache */ @@ -956,7 +956,7 @@ extraZddMaxDotProduct( TopS = dd->permZ[S->index]; TopT = dd->permZ[T->index]; - if ( TopS > TopT || (TopS == TopT && (unsigned)S > (unsigned)T) ) + if ( TopS > TopT || (TopS == TopT && S > T) ) return extraZddMaxDotProduct(dd, T, S); /* check cache */ -- cgit v1.2.3