Might be good to have a destructor too

[popboot.git] / planner.h

diff --git a/planner.h b/planner.h
index ce7aef0ffff7a4cabb977797fcce12e72e336892..ab8f4ee27774f4df9e13283a67b1c744619a18f5 100644 (file)
--- a/planner.h
+++ b/planner.h
@@ -39,6 +39,7 @@ size_t operator()(const std::basic_string<CharT, Traits, Alloc>& s) const {
 class Planner {
        public:
                Planner(std::vector<Action> actions, literals init, literals goal);
+               ~Planner();
 
                void execute();