alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: typos

Browse source 
* doc/org/concepts.org: Fix some typos.
This commit is contained in:
Alexandre Duret-Lutz 2017-04-20 20:00:46 +02:00
parent f02ca87f07
commit 6ac9128699
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/org/concepts.org
View file

@ -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 These properties should be considered short-lived. They are usually
not propagated to new automata that are created via transformation, not propagated to new automata that are created via transformation,
unless the algorithme has been explicitely implemented to preserve unless the algorithm has been explicitly implemented to preserve that
that property. Algorithm that update the automaton in place should property. Algorithms that update the automaton in place should
probably call =release_named_properties()= to ensure they do not probably call =release_named_properties()= to ensure they do not
inadvertently keep a stale property. inadvertently keep a stale property.