From 6ac91286991fc845a288ca01eb3b29966752685f 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 f3a8d4d08..1c7632b98 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -1126,8 +1126,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.