Merge pull request #1887 from joakim-hove/remove-unused-args

Remove unused arguments from write task
This commit is contained in:
Joakim Hove 2019-06-14 16:05:56 +02:00 committed by GitHub
commit 24e3afc544
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -652,9 +652,6 @@ private:
isSubStep_,
secondsElapsed_,
restartValue_,
singleSummaryValues_,
regionSummaryValues_,
blockSummaryValues_,
writeDoublePrecision_);
}
};