diff options
| author | Timothy Bourke | 2018-07-22 07:43:32 +0200 |
|---|---|---|
| committer | Timothy Bourke | 2018-07-22 07:43:32 +0200 |
| commit | f25c1d252ad61b4dc4321e3a11f33b1e6d4e3dff (patch) | |
| tree | b4ae4c93262942f8ca825052e036849c9bb73af6 /kernel/cbytecodes.ml | |
| parent | 6bce3de10ec1cd18c60e1ce3b5af33350ec4ac86 (diff) | |
Docs: minor typo in W-Ind relative to text
The rule uses s'_j, the text refers to s_j, the latter is simpler in the
absence of any other constraints.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions