diff options
Diffstat (limited to 'CIAO/examples/Hello/Sender/Sender.mpc')
| -rw-r--r-- | CIAO/examples/Hello/Sender/Sender.mpc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/examples/Hello/Sender/Sender.mpc b/CIAO/examples/Hello/Sender/Sender.mpc index e1997492231..739ab7594f6 100644 --- a/CIAO/examples/Hello/Sender/Sender.mpc +++ b/CIAO/examples/Hello/Sender/Sender.mpc @@ -134,7 +134,6 @@ project(Hello_Base_Sender_svnt) : ciao_servant, avoids_ccm_noevent { } Inline_Files { - SenderS.inl } } |