Re: Polyspace Problem

hyderabadblues <sirishkumar@xxxxxxxxx> wrote:
struct __type_traits{

typedef struct __true_type _h;
typedef __false_type _h;
typedef __state_type _h;
};

There are no errors. Why is this

I don't know. When I try to compile that code with gcc I get errors all
over the place.

-Beej

.