jzmaddock 743dc92612 Don't use __is_identifier unless it's actually defined.

2016-03-30 19:36:22 +01:00

..

boost

Don't use __is_identifier unless it's actually defined.

2016-03-30 19:36:22 +01:00