[Bug c++/52841] [4.7/4.8 Regression] error: type 'Solvable' is not a base type for type 'Resolvable'

[fabien at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52841

--- Comment #6 from fabien at gcc dot gnu.org 2012-04-12 12:50:31 UTC ---
(In reply to comment #5)
> Ping?

I haven't yet finished the investigation. Something is broken in c++11 mode,
the parsing of Solvable in "using sat::Solvable::bool_type;" is failing in
c++11 mode, debug_tree() is crashing while debugging it.