From 7bcf655350982b5b906d33d57bca6e16df3ca1d3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 15 May 2014 21:24:38 +0200 Subject: [PATCH] * src/ltltest/equals.cc: Fix style. --- src/ltltest/equals.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ltltest/equals.cc b/src/ltltest/equals.cc index 99ae46cfe..f359d2584 100644 --- a/src/ltltest/equals.cc +++ b/src/ltltest/equals.cc @@ -116,7 +116,7 @@ main(int argc, char** argv) if (!simp.are_equivalent(f1, tmp)) { std::cerr << "Source and simplified formulae are not equivalent!\n"; - std::cerr << "Simplified: " << spot::ltl::to_string(f1) << "\n"; + std::cerr << "Simplified: " << spot::ltl::to_string(f1) << '\n'; exit_code = 1; } @@ -136,7 +136,7 @@ main(int argc, char** argv) if (!simp.are_equivalent(f1, tmp)) { std::cerr << "Source and simplified formulae are not equivalent!\n"; - std::cerr << "Simplified: " << spot::ltl::to_string(f1) << "\n"; + std::cerr << "Simplified: " << spot::ltl::to_string(f1) << '\n'; exit_code = 1; } @@ -156,7 +156,7 @@ main(int argc, char** argv) if (!simp.are_equivalent(f1, tmp)) { std::cerr << "Source and simplified formulae are not equivalent!\n"; - std::cerr << "Simplified: " << spot::ltl::to_string(f1) << "\n"; + std::cerr << "Simplified: " << spot::ltl::to_string(f1) << '\n'; exit_code = 1; }