diff options
Diffstat (limited to 'ciao_core_2/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc')
| -rw-r--r-- | ciao_core_2/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ciao_core_2/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc b/ciao_core_2/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc index f264738108a..4c86092d6b2 100644 --- a/ciao_core_2/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc +++ b/ciao_core_2/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, ciao_executionmanager_stub, ciao_plan_generator { +project(Plan_Launcher) : ciao_server_dnc, ciao_config_handlers, ciao_executionmanager_stub, ciao_plan_generator, ciaoexe { exename = plan_launcher after += Plan_Launcher_Impl |