Re: [firedrake] Compile error