 +  }
 +
 +
-   // 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

+	     make -s EXE="$(EXE)" distclean	) \
+	done
+	sh ./shutdown.sh
diff -rupN pycudd2.0.2/pycudd/ddmanager.i pycudd2.0.2.patched/pycudd/ddmanager.i
--- pycudd2.0.2/pycudd/ddmanager.i	2012-03-30 22:47:57.000000000 +0200
+++ pycudd2.0.2.patched/pycudd/ddmanager.i	2015-02-26 15:21:40.914737759 +0100
@@ -157,7 +157,9 @@ struct DdManager { };
 #endif
     int retval = Cudd_CheckZeroRef(self);
     if (!retval) {

+
 // Exception class
 class RangeError {};
 
