From 9319b0ca25638df4de0498b12260ea56181a2b1c Mon Sep 17 00:00:00 2001
From: Ala-Eddine Ben-Salem <ala@lrde.epita.fr>
Date: Wed, 11 Apr 2012 18:52:03 +0200
Subject: [PATCH] Changes in order to pass sanity tests

* src/tgbatest/ltl2tgba.cc, src/ta/Makefile.am, README: code style
---
 README                   | 4 +++-
 src/ta/Makefile.am       | 7 +++----
 src/tgbatest/ltl2tgba.cc | 2 +-
 3 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/README b/README
index f25dee5ed..13804f257 100644
--- a/README
+++ b/README
@@ -133,7 +133,9 @@ src/              Sources for libspot.
    tgbaalgos/     Algorithms on TGBA.
       gtec/       Couvreur's Emptiness-Check.
    tgbaparse/     Parser for explicit TGBA.
-   tgbatest/      Tests for tgba/, tgbaalgos/, and tgbaparse/.
+   ta/            TA objects and cousins (TGTA).
+   taalgos/       Algorithms on TA/TGTA.
+   tgbatest/      Tests for tgba/, tgbaalgos/, tgbaparse/, ta/ and taalgos/.
    evtgba*/       Ignore these for now.
    eltlparse/     Parser for ELTL formulae.
    eltltest/      Tests for ELTL nodes in ltlast/ and eltlparse/.
diff --git a/src/ta/Makefile.am b/src/ta/Makefile.am
index b2e65c39d..f7e42ec92 100644
--- a/src/ta/Makefile.am
+++ b/src/ta/Makefile.am
@@ -30,10 +30,9 @@ ta_HEADERS = \
   tgta.hh \
   tgtaexplicit.hh \
   tgtaproduct.hh
-  
-  
-noinst_LTLIBRARIES = libta.la
-libta_la_SOURCES = \
+
+  noinst_LTLIBRARIES = libta.la
+  libta_la_SOURCES = \
   ta.cc \
   taproduct.cc \
   tgta.cc \
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index a9f89ffb7..580797aa2 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -1100,7 +1100,7 @@ main(int argc, char** argv)
 //TA
       spot::ltl::atomic_prop_set* aps = atomic_prop_collect(f, 0);
 
-      bdd atomic_props_set_bdd = bdd_true;
+      bdd atomic_props_set_bdd = bdd_true();
       for (spot::ltl::atomic_prop_set::const_iterator i = aps->begin(); i
           != aps->end(); ++i)
         {