From 3699e6cd0c21df49610cbf446c6a7ae975561c60 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 3 Mar 2017 17:58:31 +0100
Subject: [PATCH] doc: simplify a C++ example

* doc/org/tut10.org: Remove a couple of useless includes.
---
 doc/org/tut10.org | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/doc/org/tut10.org b/doc/org/tut10.org
index f30f807b0..46afe9891 100644
--- a/doc/org/tut10.org
+++ b/doc/org/tut10.org
@@ -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;