This commit is contained in:
Vítor Santos Costa 2014-05-28 01:40:03 +01:00
parent f9c6be85c7
commit 800ddd23a6

View File

@ -1146,7 +1146,7 @@ p_set_random_state ( USES_REGS1 )
new = (char *) IntegerOfTerm (t0);
else
return FALSE;
old = initstate(random(), new, 256);
old = setstate( new );
return Yap_unify(ARG2, MkIntegerTerm((Int)old));
}
#endif