diff options
Diffstat (limited to 'CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc')
| -rw-r--r-- | CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc index c008bde3fc2..f264738108a 100644 --- a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc +++ b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc @@ -18,7 +18,7 @@ project(Plan_Launcher_Impl) : ciao_servant_dnc, ciao_config_handlers, ciao_execu } } -project(Plan_Launcher) : ciao_server_dnc, ciao_config_handlers { +project(Plan_Launcher) : ciao_server_dnc, ciao_config_handlers, ciao_executionmanager_stub, ciao_plan_generator { exename = plan_launcher after += Plan_Launcher_Impl |