diff options
Diffstat (limited to 'CIAO/examples/DevGuideExamples/Messenger/Receiver.mpc')
| -rw-r--r-- | CIAO/examples/DevGuideExamples/Messenger/Receiver.mpc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/examples/DevGuideExamples/Messenger/Receiver.mpc b/CIAO/examples/DevGuideExamples/Messenger/Receiver.mpc index 15624707766..e14e26cd97d 100644 --- a/CIAO/examples/DevGuideExamples/Messenger/Receiver.mpc +++ b/CIAO/examples/DevGuideExamples/Messenger/Receiver.mpc @@ -103,7 +103,6 @@ project(Messenger_Receiver_svnt) : ciao_servant, avoids_ccm_noevent { } Inline_Files { - ReceiverS.inl } } |