diff options
Diffstat (limited to 'doc/RefMan-modr.tex')
| -rw-r--r-- | doc/RefMan-modr.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/RefMan-modr.tex b/doc/RefMan-modr.tex index 66895f204f..e7c8614c86 100644 --- a/doc/RefMan-modr.tex +++ b/doc/RefMan-modr.tex @@ -273,9 +273,9 @@ Specification subtyping rules: \inference{% \frac{ \WTECONV{}{\Gamma_P}{\Gamma_P'}% - ~~~~~~~~\WTECONV{\Gamma_P}{\Gamma_C}{\Gamma_C'}% - ~~~~~~~~\WTECONV{\Gamma_P;\Gamma_C}{\Gamma_I}{\Gamma_I'}% - ~~~~~~~~\WTECONV{}{p}{p'} + ~~~~~~\WTECONV{\Gamma_P}{\Gamma_C}{\Gamma_C'}% + ~~~~~~\WTECONV{\Gamma_P;\Gamma_C}{\Gamma_I}{\Gamma_I'}% + ~~~~~~\WTECONV{}{p}{p'} }{ \WSE{\Indp{}{\Gamma_P}{\Gamma_C}{\Gamma_I}{p}}% {\Indp{}{\Gamma_P'}{\Gamma_C'}{\Gamma_I'}{p'}} |