From bd9e42dd68e0138eb5c093aa5ac77607eb2d1632 Mon Sep 17 00:00:00 2001
From: Thomas Badie <badie@lrde.epita.fr>
Date: Mon, 20 Aug 2012 16:19:47 +0200
Subject: [PATCH] * bench/ltl2tgba/lbtt2csv.pl: Fix a bug when using big.log.

---
 bench/ltl2tgba/lbtt2csv.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bench/ltl2tgba/lbtt2csv.pl b/bench/ltl2tgba/lbtt2csv.pl
index 027a1c6dd..47f522ceb 100755
--- a/bench/ltl2tgba/lbtt2csv.pl
+++ b/bench/ltl2tgba/lbtt2csv.pl
@@ -94,10 +94,14 @@ sub work_on_whole_round($)
 {
   my ($round) = @_;
 
+  $round =~ s/      parse tree.*?\n//ms;
+
   $round =~ /.*?\n\s+formula:\s+(.*?)\n/ms;
   my $formula = $1;
   $round = $'; #'
 
+
+
   $round =~ s{\n\n(.*?)(?=\n\n)}<
   work_on_algorithm ($1, $formula);
   >gse;