diff options
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index d2dd49a4..47cd3ec7 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -429,9 +429,9 @@ substVars(pred,patternAlist,patternVarList) == --make pattern variable substitutions domainPredicates := nil for [[patVar,:value],:.] in tails patternAlist repeat - pred := substitute(patVar,value,pred) + pred := MSUBST(patVar,value,pred) patternAlist := nsubst(patVar,value,patternAlist) - domainPredicates := substitute(patVar,value,domainPredicates) + domainPredicates := MSUBST(patVar,value,domainPredicates) if ^MEMQ(value,$FormalMapVariableList) then domainPredicates := [["isDomain",patVar,value],:domainPredicates] everything := [pred,patternAlist,domainPredicates] |