Minor fix for new language standard in clang.

Temporary work around. One small issue with default parameters MiniSat's source.