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

doc: simplify a C++ example

Browse source 
* doc/org/tut10.org: Remove a couple of useless includes.
This commit is contained in:
Alexandre Duret-Lutz 2017-03-03 17:58:31 +01:00
parent 0df785bcde
commit 28f4e4b9a5
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
doc/org/tut10.org
View file

@ -128,17 +128,14 @@ various preferences (like small or deterministic) or characteristic
output as a never claim is done via the =print_never_claim= function.
#+BEGIN_SRC C++ :results verbatim :exports both
#include <string>
#include <iostream>
#include <spot/tl/parse.hh>
#include <spot/tl/print.hh>
#include <spot/twaalgos/translate.hh>
#include <spot/twaalgos/neverclaim.hh>
int main()
{
std::string input = "[]<>p0 || <>[]p1";
spot::parsed_formula pf = spot::parse_infix_psl(input);
spot::parsed_formula pf = spot::parse_infix_psl("[]<>p0 || <>[]p1");
if (pf.format_errors(std::cerr))
return 1;
spot::translator trans;