lint fixes

[unix-history] / usr / src / usr.bin / pascal / libpc / RANDOM.c

/* Copyright (c) 1979 Regents of the University of California */

static char sccsid[] = "@(#)RANDOM.c 1.2 %G%";

#include "h00vars.h"

double
RANDOM()
{
       /*
        * div by maxint to get 0..1
        */
       _seed = RAND(_seed);
       return((double)_seed / 0x7fffffff);
}