aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/doc/src/specs.xml
diff options
context:
space:
mode:
authorRaimo Niskanen <[email protected]>2015-10-26 11:52:17 +0100
committerRaimo Niskanen <[email protected]>2016-02-09 10:07:56 +0100
commit6ace96d3e5c9ac8ace3d8967bcafb3e6a081d9be (patch)
tree2a5dc8326bf0a52a23ac3c00de0ea365d91866e4 /lib/stdlib/doc/src/specs.xml
parentadcc726c36555434204dd0fccd13ed984741a7fb (diff)
downloadotp-6ace96d3e5c9ac8ace3d8967bcafb3e6a081d9be.tar.gz
otp-6ace96d3e5c9ac8ace3d8967bcafb3e6a081d9be.tar.bz2
otp-6ace96d3e5c9ac8ace3d8967bcafb3e6a081d9be.zip
New state machine
Diffstat (limited to 'lib/stdlib/doc/src/specs.xml')
-rw-r--r--lib/stdlib/doc/src/specs.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/stdlib/doc/src/specs.xml b/lib/stdlib/doc/src/specs.xml
index 0418bf7b22..45b207b13d 100644
--- a/lib/stdlib/doc/src/specs.xml
+++ b/lib/stdlib/doc/src/specs.xml
@@ -30,6 +30,7 @@
<xi:include href="../specs/specs_gen_event.xml"/>
<xi:include href="../specs/specs_gen_fsm.xml"/>
<xi:include href="../specs/specs_gen_server.xml"/>
+ <xi:include href="../specs/specs_gen_statem.xml"/>
<xi:include href="../specs/specs_io.xml"/>
<xi:include href="../specs/specs_io_lib.xml"/>
<xi:include href="../specs/specs_lib.xml"/>