handle random on big ints (jan burse)

2013-01-14 09:56:25 +00:00 · 2013-01-14 09:56:25 +00:00 · 0c9342466b
commit 0c9342466b
parent 48ea1f5ec5
1 changed files with 1 additions and 1 deletions
--- a/C/arith1.c
+++ b/C/arith1.c
@ -689,7 +689,7 @@ eval1(Int fi, Term t) {
      return Yap_ArithError(TYPE_ERROR_INTEGER, t, "random(%f)", FloatOfTerm(t));
    case big_int_e:
 #ifdef USE_GMP
-      return Yap_ArithError(TYPE_ERROR_INTEGER, t, "random(%f)", FloatOfTerm(t));
+      return Yap_gmp_mul_float_big(Yap_random(), t);
 #endif
    default:
      RERROR();