Well, still more errors:

In file included from ./DiscreteVerification/DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/DataStructures/PWList.hpp:11,
                 from ./DiscreteVerification/DataStructures/PWList.cpp:8:
./DiscreteVerification/DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/DataStructures/PWList.hpp:11,
                 from ./DiscreteVerification/DataStructures/PWList.cpp:8:
./DiscreteVerification/DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp:11,
                 from ./DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp:8:
./DiscreteVerification/DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp:11,
                 from ./DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp:8:
./DiscreteVerification/DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/DataStructures/TimeDartPWList.hpp:11,
                 from ./DiscreteVerification/DataStructures/TimeDartPWList.cpp:8:
./DiscreteVerification/DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/DataStructures/TimeDartPWList.hpp:11,
                 from ./DiscreteVerification/DataStructures/TimeDartPWList.cpp:8:
./DiscreteVerification/DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/SearchStrategies/../DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/SearchStrategies/../DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/SearchStrategies/SearchStrategy.hpp:11,
                 from ./DiscreteVerification/DiscreteVerification.hpp:19,
                 from ./DiscreteVerification/DiscreteVerification.cpp:8:
./DiscreteVerification/SearchStrategies/../DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/SearchStrategies/../DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/SearchStrategies/../DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/SearchStrategies/../DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/SearchStrategies/SearchStrategy.hpp:11,
                 from ./DiscreteVerification/DiscreteVerification.hpp:19,
                 from ./DiscreteVerification/DiscreteVerification.cpp:8:
./DiscreteVerification/SearchStrategies/../DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/SearchStrategies/../DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/VerificationTypes/../DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/VerificationTypes/../DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/VerificationTypes/../DataStructures/PWList.hpp:11,
                 from ./DiscreteVerification/VerificationTypes/LivenessSearch.hpp:11,
                 from ./DiscreteVerification/VerificationTypes/LivenessSearch.cpp:8:
./DiscreteVerification/VerificationTypes/../DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/VerificationTypes/../DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/VerificationTypes/../DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/VerificationTypes/../DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/VerificationTypes/../DataStructures/PWList.hpp:11,
                 from ./DiscreteVerification/VerificationTypes/LivenessSearch.hpp:11,
                 from ./DiscreteVerification/VerificationTypes/LivenessSearch.cpp:8:
./DiscreteVerification/VerificationTypes/../DataStructures/PTrie.h: In constructor ‘VerifyTAPN::DiscreteVerification::PTrie<T>::PTrie(boost::shared_ptr<VerifyTAPN::TAPN::TimedArcPetriNet>&, int, int, int)’:
./DiscreteVerification/VerificationTypes/../DataStructures/PTrie.h:74: error: wrong number of template arguments (1, should be 2)
/Users/srba/dev/boost_1_46_1/boost/detail/container_fwd.hpp:85: error: provided for ‘template<class T, class Allocator> struct std::list’
In file included from ./DiscreteVerification/VerificationTypes/../DataStructures/TimeDart.hpp:12,
                 from ./DiscreteVerification/VerificationTypes/../DataStructures/WaitingList.hpp:12,
                 from ./DiscreteVerification/VerificationTypes/../DataStructures/PWList.hpp:11,
                 from ./DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp:11,
...