June 23, 2004
    int main() {
        typeid(bit).print();
        return 0;
    }

The linker errors out:

    Error 42: Symbol Undefined __init_10TypeInfo_b

 -- andy
June 24, 2004
I've got that fixed now <g>.

"Andy Friesen" <andy@ikagames.com> wrote in message news:cbcu83$1k3g$2@digitaldaemon.com...
>
>      int main() {
>          typeid(bit).print();
>          return 0;
>      }
>
> The linker errors out:
>
>      Error 42: Symbol Undefined __init_10TypeInfo_b
>
>   -- andy