Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
2dee90b3
Commit
2dee90b3
authored
Jun 10, 2015
by
Alexandre Duret-Lutz
Browse files
* src/hoaparse/public.hh: Typo.
parent
da5ba0b1
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/hoaparse/public.hh
View file @
2dee90b3
...
...
@@ -108,7 +108,7 @@ namespace spot
/// neverclaim output. It has been tuned to accept the output of
/// spin -f, ltl2ba, ltl3ba, and modella. If you know of some other
/// tool that produce Büchi automata in the form of a neverclaim,
/// but is not understood by this parse, please report it to
/// but is not understood by this parse
r
, please report it to
/// spot@lrde.epita.fr.
///
/// \warning This function is not reentrant.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment