From ce22e0f430a98cc096b056066d427edbd2449a13 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Wed, 9 Dec 2015 08:53:31 +0100
Subject: erts: Correct the types section in The Abstract Format document

Fixed a mistake in commit 23885a.
---
 erts/doc/src/absform.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'erts/doc')

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>
-- 
cgit v1.2.3