From 16ae4e3d40496e64e7df244aad4ca3919a8c79a7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Feb 2010 21:07:02 +0000 Subject: [PATCH] Possible bug fix (memory freeing). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1727 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/sparse/PS_ExportMDP.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/sparse/PS_ExportMDP.cc b/prism/src/sparse/PS_ExportMDP.cc index ec0590cc..d840ad53 100644 --- a/prism/src/sparse/PS_ExportMDP.cc +++ b/prism/src/sparse/PS_ExportMDP.cc @@ -153,7 +153,7 @@ jstring fn // filename // close file, etc. if (export_file) fclose(export_file); - env->ReleaseStringUTFChars(na, export_name); + if (na) env->ReleaseStringUTFChars(na, export_name); // catch exceptions: return (undocumented) error code for memout } catch (std::bad_alloc e) {