X-Git-Url: https://ruin.nu/git/?p=popboot.git;a=blobdiff_plain;f=planner.h;h=ab8f4ee27774f4df9e13283a67b1c744619a18f5;hp=ce7aef0ffff7a4cabb977797fcce12e72e336892;hb=7b9821d42d980e5788bbc65563973eddd6e4c40d;hpb=e26fd7b3195576b25ffe51253a391b53f412a650

diff --git a/planner.h b/planner.h
index ce7aef0..ab8f4ee 100644
--- 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();