diff options
Diffstat (limited to 'src/interp/functor.boot')
-rw-r--r-- | src/interp/functor.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot index f91491b0..fd887f9a 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -509,7 +509,7 @@ ConstantCreator u == true ProcessCond(db,cond,e) == - ncond := applySubst($pairlis,cond) + ncond := dbSubstituteFormals(db,cond) valuePosition(ncond,$NRTslot1PredicateList) => predicateBitRef(ncond,e) cond |