diff options
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index dbd8bfc7..c2f08f1d 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1414,7 +1414,7 @@ compSubDomain1(domainForm,predicate,m,e) == compCompilerPredicate(predicate,e) or stackSemanticError(["predicate: ",predicate, " cannot be interpreted with #1: ",domainForm],nil) - pred := lispize u.expr + pred := simplifyVMForm u.expr -- For now, reject predicates that directly reference domains CONTAINED("$",pred) => stackAndThrow('"predicate %1pb is not simple enough",[predicate]) |