Hmm, OK. It does say on the web documentation that once a variable is bound to a value, the fault stream is closed. Certainly it shouldn't crash if I try to kill it, but I guess it doesn't make sense to do that.
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
