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