[SAL-HELP] Path explorer

Rimvydas Ruksenas rimvydas at dcs.qmul.ac.uk
Wed Nov 15 05:29:51 PST 2006


Hello,

I have a problem with sal-path-explorer. I tried it
with several specifications. In all cases it right
away printed the following message:

   Error: Unbound variable

I get the same error message even when running it
with the example suggested by sal --help:

   sal-path-explorer peterson system

Could someone help?

Thanks,
Rimvydas



More information about the SAL-HELP mailing list