3 May
2001
3 May
'01
9:20 p.m.
In a message dated 5/3/2001 4:00:18 AM Central Daylight Time, qrczak@knm.org.pl writes:
Should be: setx (MakeExistentialShape a) newx = MakeExistentialShape (setx a newx) The result of setx must have the same type as its first argument.
Thanks. That solves my problem. BTW, what is this "Skolem constant" that's referred to in the error message that I received? Chris Rathman