PM_ExportVector.cc: small cleanup

Remove third argument for an export_string call that only uses 2 in the format string.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12176 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/mtbdd/PM_ExportVector.cc

@@ -67,7 +67,7 @@ jstring fn		// filename
 	// print file header
 	switch (export_type) {
 	case EXPORT_PLAIN: export_string("%d %.0f\n", odd->eoff+odd->toff, DD_GetNumMinterms(ddman, vector, num_vars)); break;
-	case EXPORT_MATLAB: export_string("%s = sparse(%d,1);\n", export_name, odd->eoff+odd->toff, odd->eoff+odd->toff); break;
+	case EXPORT_MATLAB: export_string("%s = sparse(%d,1);\n", export_name, odd->eoff+odd->toff); break;
 	}
 	
 	// print main part of file