From 800ddd23a659fae606ac0e7649125e82fe7d9837 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 28 May 2014 01:40:03 +0100
Subject: [PATCH] oops

---
 C/sysbits.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/sysbits.c b/C/sysbits.c
index afb48c50e..ec01f2daa 100755
--- a/C/sysbits.c
+++ b/C/sysbits.c
@@ -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