From a1ba0a89c5e0a3b8a27aa885ad49612e3f2c76f2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 11 Jun 2015 22:36:09 +0200 Subject: [PATCH] * doc/org/tut20.org: Cleanup. --- doc/org/tut20.org | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/org/tut20.org b/doc/org/tut20.org index 407d79cce..5623dd87c 100644 --- a/doc/org/tut20.org +++ b/doc/org/tut20.org @@ -152,7 +152,7 @@ automaton is returned even in the presence of parse errors. // it could while reading a HOA file. if (pa->aborted) { - std::cerr << "--ABORT-- read" << '\n'; + std::cerr << "--ABORT-- read\n"; return 1; } spot::print_hoa(std::cout, pa->aut) << '\n'; @@ -313,3 +313,7 @@ State: 1 {0} : skip : } : + +#+BEGIN_SRC sh :results verbatim :exports none +rm -f tut20.never +#+END_SRC