diff --git a/ChangeLog b/ChangeLog index 95ff962bd..19f2eeda3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2009-11-11 Alexandre Duret-Lutz + + Remove python bindings for ltl::clone and ltl::destroy. + + * wrap/python/spot.i: Do not include clone.hh and destroy.hh. + 2009-11-10 Alexandre Duret-Lutz Typo from a previous patch. diff --git a/wrap/python/spot.i b/wrap/python/spot.i index 5e0c792fb..81d52f25c 100644 --- a/wrap/python/spot.i +++ b/wrap/python/spot.i @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique +// Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique // de Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // Université Pierre et Marie Curie. // @@ -53,8 +53,6 @@ #include "ltlparse/public.hh" -#include "ltlvisit/clone.hh" -#include "ltlvisit/destroy.hh" #include "ltlvisit/dotty.hh" #include "ltlvisit/dump.hh" #include "ltlvisit/lunabbrev.hh" @@ -125,8 +123,6 @@ using namespace spot; %include "ltlparse/public.hh" -%include "ltlvisit/clone.hh" -%include "ltlvisit/destroy.hh" %include "ltlvisit/dotty.hh" %include "ltlvisit/dump.hh" %include "ltlvisit/lunabbrev.hh"