From db588d7b15cf4403f5a8fdab0b3407d14030aeb2 Mon Sep 17 00:00:00 2001 From: vsc Date: Tue, 10 Jul 2001 20:04:10 +0000 Subject: [PATCH] had forgotten getrand/3. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@120 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- library/random.yap | 3 +++ 1 file changed, 3 insertions(+) diff --git a/library/random.yap b/library/random.yap index 45a850734..b7c1d4bc7 100644 --- a/library/random.yap +++ b/library/random.yap @@ -114,6 +114,9 @@ setrand(rand(X,Y,Z)) :- Z < 30323, setrand(X,Y,Z). +getrand(rand(X,Y,Z)) :- + getrand(X,Y,Z). +