From dbed506725ec031b07c565f48448071f2d6c9ff0 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sat, 26 Feb 2011 03:56:39 +0000 Subject: [PATCH] Bugfix. Terrible! Another fix. STP r1149 to here will sometimes return the wrong answer. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1170 e59a4935-1847-0410-ae03-e826735625c1 --- src/simplifier/FindPureLiterals.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/simplifier/FindPureLiterals.h b/src/simplifier/FindPureLiterals.h index 61fd505..d5c19cb 100644 --- a/src/simplifier/FindPureLiterals.h +++ b/src/simplifier/FindPureLiterals.h @@ -94,11 +94,10 @@ public: if (it != nodeToPolarity.end()) { int lookupPolarity = it->second; - if ((polarity & lookupPolarity) !=0 ) + if ((polarity | lookupPolarity) == lookupPolarity ) return; // already traversed. - lookupPolarity |= polarity; - it->second = lookupPolarity; + it->second |= polarity; } else { -- 2.47.3