 +#endif /* PYCUDD_DEBUG */
      Cudd_RecursiveDeref(self, (DdNode *) num);
    }
-
-@@ -492,4 +503,5 @@ struct DdManager { };
+ 
+@@ -492,4 +503,5 @@
    void SetDefault() {
      mgr = self;
    }
 +
  };
-diff -rupN pycudd2.0.2/pycudd/Makefile pycudd2.0.2.patched/pycudd/Makefile
+diff -Naurw pycudd2.0.2/pycudd/Makefile pycudd2.0.2.working/pycudd/Makefile
 --- pycudd2.0.2/pycudd/Makefile	2012-03-30 23:33:11.000000000 +0200
-+++ pycudd2.0.2.patched/pycudd/Makefile	2015-02-26 15:21:40.914737759 +0100
-@@ -17,7 +17,8 @@ MOD = pycudd
++++ pycudd2.0.2.working/pycudd/Makefile	2015-02-27 18:54:15.447134904 +0100
+@@ -17,7 +17,8 @@
  ## Change these to reflect local settings
  ##
  #######

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

 CUDDVER     = 0x020400
 PYTHON_LOC  := /usr
 # Change the following to lib64 for 64-bit architectures
diff -Naurw pycudd2.0.2/pycudd/pycudd.cpp pycudd2.0.2.working/pycudd/pycudd.cpp
--- pycudd2.0.2/pycudd/pycudd.cpp	2012-03-30 22:47:57.000000000 +0200
+++ pycudd2.0.2.working/pycudd/pycudd.cpp	2015-02-27 18:54:15.447134904 +0100
@@ -597,3 +597,15 @@
 				  (Dddmp_VarInfoType) varinfo, filename, fp); 
   return roots;
 }
+
