Fix a couple of int versus Index issues.

This commit is contained in:
Gael Guennebaud
2013-04-09 09:43:00 +02:00
parent bff264283d
commit d8f1035355
8 changed files with 46 additions and 45 deletions

View File

@@ -405,7 +405,7 @@ void set_repeat_from_string(const char *str)
void set_seed_from_string(const char *str)
{
errno = 0;
g_seed = strtoul(str, 0, 10);
g_seed = int(strtoul(str, 0, 10));
if(errno || g_seed == 0)
{
std::cout << "Invalid seed value " << str << std::endl;