diff --git a/ddmanager.i b/ddmanager.i
index 4e7be49..39f21a2 100644
--- a/ddmanager.i
+++ b/ddmanager.i
@@ -694,6 +694,18 @@ cerr << "Quitting manager" << endl;
     return retval;
   }
 
+  int DumpDotArray(DdArray *array, const char* fname) {
+    FILE *dfp = NULL;
+    int retval;
+
+    dfp = fopen(fname, "w");
+
+    retval = Cudd_DumpDot(self,array->sz,array->vec,NULL,NULL,dfp);
+
+    fclose(dfp);
+    return retval;
+  }
+
   int DumpBlif(DdNode *this_node) {
 
     FILE *dfp = NULL;