From e7797b727d26172fd430811427ed7e728c89716b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 20 Apr 2017 20:00:46 +0200 Subject: [PATCH] org: typos * doc/org/concepts.org: Fix some typos. --- doc/org/concepts.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/org/concepts.org b/doc/org/concepts.org index 16ab512eb..0208d724e 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -1129,8 +1129,8 @@ custom destructor as a third parameter to =twa::set_named_prop()=. These properties should be considered short-lived. They are usually not propagated to new automata that are created via transformation, -unless the algorithme has been explicitely implemented to preserve -that property. Algorithm that update the automaton in place should +unless the algorithm has been explicitly implemented to preserve that +property. Algorithms that update the automaton in place should probably call =release_named_properties()= to ensure they do not inadvertently keep a stale property.