From b0678a21a256b40f4b6a9106efd9636a2acecaac Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 24 Sep 2012 14:52:18 +0200
Subject: [PATCH] Fix prototype of atomic_prop_collect_as_bdd().

* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh
(atomic_prop_collect_as_bdd): Take a const tgba.
---
 src/ltlvisit/apcollect.cc | 2 +-
 src/ltlvisit/apcollect.hh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ltlvisit/apcollect.cc b/src/ltlvisit/apcollect.cc
index ab58a60bd..4a445a3a4 100644
--- a/src/ltlvisit/apcollect.cc
+++ b/src/ltlvisit/apcollect.cc
@@ -66,7 +66,7 @@ namespace spot
     }
 
     bdd
-    atomic_prop_collect_as_bdd(const formula* f, tgba* a)
+    atomic_prop_collect_as_bdd(const formula* f, const tgba* a)
     {
       spot::ltl::atomic_prop_set aps;
       atomic_prop_collect(f, &aps);
diff --git a/src/ltlvisit/apcollect.hh b/src/ltlvisit/apcollect.hh
index 51875ecfc..a703a6695 100644
--- a/src/ltlvisit/apcollect.hh
+++ b/src/ltlvisit/apcollect.hh
@@ -62,7 +62,7 @@ namespace spot
     /// \param a that automaton that should register the BDD variables used.
     /// \return A conjunction the atomic propositions.
     bdd
-    atomic_prop_collect_as_bdd(const formula* f, tgba* a);
+    atomic_prop_collect_as_bdd(const formula* f, const tgba* a);
 
     /// @}
   }