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

typos: dictionnary -> dictionary

Browse source 
* doc/org/upgrade2.org, tests/python/prodexpt.py,
tests/python/product.ipynb, NEWS: Fix typos.
* tests/sanity/style.test: Add a check for this.
This commit is contained in:
Alexandre Duret-Lutz 2017-03-08 16:10:47 +01:00
parent d1d3ee38e6
commit cd89983ca5
5 changed files with 14 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/org/upgrade2.org
View file

@ -46,7 +46,7 @@ experience of updating a couple of projects that are using Spot.
used to require visitors.
5. Allocated object that are large or expected to have a long life
(such as automata, BDD dictionnaries, accepting runs) are now
(such as automata, BDD dictionaries, accepting runs) are now
[[#shared_ptr][returned using shared pointers]].
6. Spot used to be centered around the concept of TGBA
@ -587,7 +587,7 @@ for (auto i: aut->succ(s))
}
#+END_SRC
- Each =twa= now has a BDD dictionnary, so the =get_dict()= method is
- Each =twa= now has a BDD dictionary, so the =get_dict()= method is
implemented once for all in =twa=, and should not be implemented
anymore in sub-classes.