From cdfa60788294e5f4f3dce867970a9208d29d03f9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 1 Feb 2017 15:04:38 +0100 Subject: [PATCH] * doc/org/concepts.org: Typo. --- doc/org/concepts.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/concepts.org b/doc/org/concepts.org index 8e5844100..f3a8d4d08 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -608,7 +608,7 @@ $txt [[file:concepts-alt.png]] In this picture, the universal edges appear as arrows with a white -tips going to a small dot, from which additional arrows connect to the +tip going to a small dot, from which additional arrows connect to the universal destinations. Here the three universal edges all leave the initial state, and connect to two universal destinations. Note that non-determinism is allowed between universal edges, for instance upon