Parser bug?

I believe I have found a parser bug. When handed the following code:

	class B {
	   // B();	


the parser complains about a parse error on line 7 (the first line
of the destructor). The error goes away if the constructor is
uncommented in the class definition. If the commented line is
removed altogether, the problem persists. I can't find any
proviso in the ARM which states that a class with a destructor
must have a constructor, so I figure there's a bug...