Error: Anomaly "more than one statement."

[TDiazT]

trafficstars

I got the following error while trying to admit an obligation:

Error: Anomaly "more than one statement."
Please report at http://coq.inria.fr/bugs/.

I was doing something of the following sort:

Equations? foo : ... :=
{
   ...
}.
(* Proving a case *)
Admitted.

Not sure if it is related to this issue somehow.