BugFix: bitset_flip was broken
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 14 Feb 2007 10:14:12 +0000 (10:14 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 14 Feb 2007 10:14:12 +0000 (10:14 +0000)
[r8642]

ir/adt/bitset_std.h

index 8d94b2f..789fa6c 100644 (file)
@@ -62,7 +62,7 @@ typedef unsigned int bitset_unit_t;
  * @param unit A pointer to the unit.
  * @param bit which bit to set.
  */
-#define _bitset_inside_flip(unit_ptr,bit) (*unit_ptr) ^= ~(1 << (bit))
+#define _bitset_inside_flip(unit_ptr,bit) (*unit_ptr) ^= (1 << (bit))
 
 /**
  * Flip a whole unit.