diff --git a/prism/src/jdd/JDD.cc b/prism/src/jdd/JDD.cc index e74892c0..49ba44f9 100644 --- a/prism/src/jdd/JDD.cc +++ b/prism/src/jdd/JDD.cc @@ -654,6 +654,7 @@ JNIEXPORT void JNICALL Java_jdd_JDD_DD_1ExportDDToDotFileLabelled(JNIEnv *env, j env->ReleaseStringUTFChars(jstr, names[i]); } env->ReleaseStringUTFChars(filename, filenamestr); + delete[] names; } //------------------------------------------------------------------------------