Re: [firedrake] (no subject)

On 15/09/16 13:07, William Booker wrote:

Hi firedrakers,

I had this script working on an older version of firedrake (24th Aug), but when I updated today I now get the following error when I try to run it:

Please run firedrake-clean and try again. I think that should fix things. Cheers, Lawrence