diff options
| -rw-r--r-- | CIAO/ciao/Deployment_Events.idl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CIAO/ciao/Deployment_Events.idl b/CIAO/ciao/Deployment_Events.idl index 538beaee2be..89c0a59edc5 100644 --- a/CIAO/ciao/Deployment_Events.idl +++ b/CIAO/ciao/Deployment_Events.idl @@ -11,6 +11,8 @@ #if !defined (CIAO_DEPLOYMENT_EVENT_SERVICES_IDL) #define CIAO_DEPLOYMENT_EVENT_SERVICES_IDL +#include "tao/StringSeq.pidl" + module CIAO { module DAnCE |