diff options
| author | Hans Bolinder <[email protected]> | 2015-12-09 08:53:31 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-09 08:53:31 +0100 |
| commit | ce22e0f430a98cc096b056066d427edbd2449a13 (patch) | |
| tree | 5bf953552a37e64d9433012b1f243856b8f02049 /erts | |
| parent | 45c940463b7fc16d81d023013c21eac36cd57939 (diff) | |
| download | otp-ce22e0f430a98cc096b056066d427edbd2449a13.tar.gz otp-ce22e0f430a98cc096b056066d427edbd2449a13.tar.bz2 otp-ce22e0f430a98cc096b056066d427edbd2449a13.zip | |
erts: Correct the types section in The Abstract Format document
Fixed a mistake in commit 23885a.
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/doc/src/absform.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml index ca06794a53..186c9a1143 100644 --- a/erts/doc/src/absform.xml +++ b/erts/doc/src/absform.xml @@ -588,7 +588,7 @@ <list type="bulleted"> <item>If C is a constraint <c>is_subtype(V, T)</c> or <c>V :: T</c>, where <c>V</c> is a type variable and <c>T</c> is a type, then - Rep(C) = <c>{type,LINE,constraint,[Rep(F),[Rep(V),Rep(T)]]}</c>. + Rep(C) = <c>{type,LINE,constraint,[{atom,LINE,is_subtype},[Rep(V),Rep(T)]]}</c>. </item> </list> </section> |