Update WardenWin.cpp

Correct function type for mpq_check