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

typo

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-04-29 13:08:42 +00:00
parent fec4f04a2f
commit e6cab5321a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlenv/defaultenv.hh
View file

@ -10,7 +10,7 @@ namespace spot
/// \brief A laxist environment.
///
/// The environment recognize all atomic propositions.
/// This environment recognizes all atomic propositions.
///
/// This is a singleton. Use default_environment::instance()
/// to obtain the instance.