[solver] Fix restartGMRes parameter number type
See merge request !2631 (merged)
(cherry picked from commit 9b0db493)
930dd74f [solver] Fix restartGMRes parameter number type
[solver] Fix restartGMRes parameter number type See merge request !2631 (cherry picked from commit 9b0db493) 930dd74f [solver] Fix restartGMRes parameter number type