#ifndef OSPL_DDS_BUILTINTYPES
#define OSPL_DDS_BUILTINTYPES

#include "dds_dcps.idl"
/*
This file was orginally in  ./src/services/spliced/code/.
What is it for ? It shouldn't compile without an import like "dds_dcps.idl" should it ... ??
*/

module DDS {

    struct DCPS_builtin_types {
        Duration_t              duration;
        Time_t                  time;
    };

};

#endif /* OSPL_DDS_BUILTINTYPES */
