diff options
Diffstat (limited to 'docs/stg-spec')
| -rw-r--r-- | docs/stg-spec/stg-spec.mng | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/stg-spec/stg-spec.mng b/docs/stg-spec/stg-spec.mng index cf8a71672d..ce5ca3f40b 100644 --- a/docs/stg-spec/stg-spec.mng +++ b/docs/stg-spec/stg-spec.mng @@ -132,7 +132,7 @@ acts as a pointer to the value on the heap. \gram{\ottheap} Execution procedes until a return value (a literal or a variable, i.e. -pointer to the heap) is produced. To accomodate for let-no-escape +pointer to the heap) is produced. To accommodate for let-no-escape bindings, we also allow execution to terminate with a jump to a function application of a let-no-escape variable. |