From b43a91185750484e504bc5c7d507f67aa05a8f4e Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 28 Jul 2017 08:19:29 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/mtbdd/PM_ExportVector.cc b/prism/src/mtbdd/PM_ExportVector.cc index d6cd702f..66786f82 100644 --- a/prism/src/mtbdd/PM_ExportVector.cc +++ b/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