Undefined variable bug

John Tromp John.Tromp at cwi.nl
Sat Jan 10 23:38:16 EST 2004


I just found out that I can circumvent the problem by
adding a line

  import Char

to my loaded file.

regards,
-john


More information about the Hugs-Bugs mailing list