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). +