diff options
Diffstat (limited to 'src/interp/ptrees.boot')
| -rw-r--r-- | src/interp/ptrees.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/ptrees.boot b/src/interp/ptrees.boot index 06ff0b65..7549f80d 100644 --- a/src/interp/ptrees.boot +++ b/src/interp/ptrees.boot @@ -673,7 +673,7 @@ pfTaggedToTyped x== rt:=if pfTagged? x then pfTaggedExpr x else pfNothing() form:= if pfTagged? x then pfTaggedTag x else x not pfId? form => - a:=pfId GENSYM() + a:=pfId gensym() pfTyped(pfSuch(a, pfInfApplication (pfId "=", a,form)),rt) pfTyped(form,rt) |