Commit f1275635 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlenv/environment.hh: Typo in comments.

parent fb014cc3
2003-08-10 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/ltlenv/environment.hh: Typo in comments.
2003-08-08 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/ltlparse/ltlparse.yy: Handle and diagnose mismatched parentheses.
......@@ -19,7 +23,7 @@
* src/ltltest/equals.test: Check this.
* src/ltlvisit/dotty.cc (draw_node_): s/shabe/shape/.
(visit): Draw rectangular node for atomic propositions and
(visit): Draw rectangular nodes for atomic propositions and
constant. This is an attempt to mimic BuDDy's output.
* wrap/python/cgi/ltl2tgba.in: Handle show_formula_dot and
......
......@@ -16,11 +16,11 @@ namespace spot
/// \brief Obtain the formula associated to \a prop_str
///
/// Usually \a prop_str, is the name of an atomic proposition,
/// a spot::ltl::require simply returns the associated
/// and spot::ltl::require simply returns the associated
/// spot::ltl::atomic_prop.
///
/// Note this is not a \c const method. Some environment will
/// "create" the atomic proposition when asked.
/// Note this is not a \c const method. Some environments will
/// "create" the atomic proposition when requested.
///
/// We return a spot::ltl::formula instead of an
/// spot::ltl::atomic_prop, because this
......@@ -38,7 +38,7 @@ namespace spot
virtual
~environment()
{
};
}
// FIXME: More functions will be needed later, but
// it's enough for now.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment