From d2560944b644915e50d53b6f53f15e7016c0c532 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 27 Jul 2013 00:57:45 +0200
Subject: [PATCH] * src/tgbatest/ltl2tgba.cc: Accept reading LBTT files from
 stdin.

---
 src/tgbatest/ltl2tgba.cc | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index e450f5b6b..7667034ef 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -1071,18 +1071,24 @@ main(int argc, char** argv)
 	    case ReadLbtt:
 	      {
 		std::string error;
-		std::fstream f(input.c_str());
-		if (!f)
+		std::istream* in = &std::cin;
+		std::fstream* f = 0;
+		if (input != "-")
 		  {
-		    std::cerr << "cannot open " << input << std::endl;
-		    delete dict;
-		    return 2;
+		    in = f = new std::fstream(input.c_str());
+		    if (!*f)
+		      {
+			std::cerr << "cannot open " << input << std::endl;
+			delete dict;
+			return 2;
+		      }
 		  }
 		tm.start("parsing lbtt");
 		to_free = a =
-		  const_cast<spot::tgba*>(spot::lbtt_parse(f, error, dict,
+		  const_cast<spot::tgba*>(spot::lbtt_parse(*in, error, dict,
 							   env, env));
 		tm.stop("parsing lbtt");
+		delete f;
 		if (!to_free)
 		  {
 		    std::cerr << error << std::endl;