diff options
Diffstat (limited to 'src/interp/g-opt.boot')
| -rw-r--r-- | src/interp/g-opt.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot index 6786bbbf..1670e994 100644 --- a/src/interp/g-opt.boot +++ b/src/interp/g-opt.boot @@ -659,7 +659,7 @@ optCollectVector form == ++ Translate retraction of a value denoted by `e' to sub-domain `m' ++ defined by predicate `pred', -optRetract ["%Retract",e,m,pred] == +optRetract ["%retract",e,m,pred] == atom e => ["check-subtype",substitute(e,"#1",pred),MKQ m,e] g := gensym() ["LET",[[g,e]],["check-subtype",substitute(g,"#1",pred),MKQ m,g]] @@ -682,7 +682,7 @@ for x in '( (%call optCall) _ (_| optSuchthat)_ (CATCH optCatch)_ (COND optCond)_ - (%Retract optRetract)_ + (%retract optRetract)_ (%CollectV optCollectVector)_ (mkRecord optMkRecord)_ (RECORDELT optRECORDELT)_ |