Oops. put a decl in a generated file. My bad, but fixed now.