blob: f6467f8f72c174525b73d2e533fb61ff29b7b0b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// { dg-do compile }
struct Solvable;
namespace sat
{
class Solvable
{
public:
typedef bool bool_type;
};
}
class Resolvable : public sat::Solvable
{
public:
using sat::Solvable::bool_type;
};
|