diff options
Diffstat (limited to 'src/interp/g-util.boot')
| -rw-r--r-- | src/interp/g-util.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index 5d6cd5a9..9817e8e4 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -49,7 +49,7 @@ module g_-util where --% $AbstractionOperator == - '(LAM ILAM SLAM SPADSLAM LAMBDA) + '(LAM ILAM SLAM XLAM SPADSLAM LAMBDA) ++ Return true if the symbol 's' is used in the form 'x'. usedSymbol?(s,x) == |