diff options
Diffstat (limited to 'CIAO/DAnCE/Plan_Launcher/Plan_Launcher_Benchmark_Impl.h')
-rw-r--r-- | CIAO/DAnCE/Plan_Launcher/Plan_Launcher_Benchmark_Impl.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher_Benchmark_Impl.h b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher_Benchmark_Impl.h index ddc3ac22ff0..f9491efdfe7 100644 --- a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher_Benchmark_Impl.h +++ b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher_Benchmark_Impl.h @@ -31,6 +31,8 @@ namespace CIAO * @returns a string containing the UUID of the plan. Null indicates failure. */ virtual const char * launch_plan (const ::Deployment::DeploymentPlan &plan); + + virtual ~Plan_Launcher_Benchmark_i (); protected: }; |