diff options
Diffstat (limited to 'CIAO/examples/DevGuideExamples/Messenger/Messenger.mpc')
-rw-r--r-- | CIAO/examples/DevGuideExamples/Messenger/Messenger.mpc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/CIAO/examples/DevGuideExamples/Messenger/Messenger.mpc b/CIAO/examples/DevGuideExamples/Messenger/Messenger.mpc index fc381000da8..9bacf9f7094 100644 --- a/CIAO/examples/DevGuideExamples/Messenger/Messenger.mpc +++ b/CIAO/examples/DevGuideExamples/Messenger/Messenger.mpc @@ -165,11 +165,6 @@ project(Messenger_svnt) : ciao_servant, avoids_ccm_noevent { } Inline_Files { - RunnableS.inl - PublicationS.inl - MessageS.inl - HistoryS.inl - MessengerS.inl } } |