Polyspace Problem


Hi,

I am using polyspace tool.
When I compile the following code I am getting the error as
__true_type undefined


struct __true_type{
};

struct __type_traits{

typedef __true_type _h;
};

Can anybody help me regarding this

.