 +  }
 +
 +
-   // This takes a long int representing the address of a DdNode and
+   // This takes a long int representing the address of a DdNode and 
    // derefs it. Use with caution!!
    void KillNode(long int num) {
  #ifdef PYCUDD_DEBUG

     } else {
 #ifdef PYCUDD_DEBUG
       cerr << retval << " unexpected non-zero reference counts" << endl;
@@ -170,12 +172,21 @@ struct DdManager { };
     mgr = NULL;
   }

+  bool __eq__(DdManager* other) {
+    return self == other ? TRUE : FALSE;
+  }

+
 // Exception class
 class RangeError {};
 
