Subject: read_term problem in 3.3.6?

From: Robb Shecter <[email-masked]>
Date: Thu, 15 Jun 2000 13:07:03 +0200

Hi,

The following phrase:

read_term(Goal, [syntax_errors(Errs), variable_names(Vars)])

...works just fine in version 2.8.x, but crashes in 3.3.6 with the
error:

ERROR: Domain error: `read_option' expected, found
`syntax_errors(_G329)'

The documentation for read_term doesn't seem to have changed -
syntax_errors is still there.  Anybody know what the problem is?

Thanks,
Robb