Reserved user defined literal: Space needed between string and PRIi64 token

[Siesh1oo]

Hi,

Applications using Minisat will not compile in strict mode with latest compilers (reported with workaround for example in the README of the Open-Source synthesis tool YOSYS, https://github.com/cliffordwolf/yosys/blob/master/README#L283). This is fixed by adding a whitespace between the format string and the PRIi64 token: "%4" PRIi64.

Sincerely,
H.

/include/minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^

[showkeyjar]

add space between string and PRIi64 token not work.