8 Oct
2015
8 Oct
'15
1:06 p.m.
On 07/10/15 12:04, Fabio Luporini wrote:
Hello Stephan,
Can you pull the latest enhance-rewriter-mode3-logflops (i've just pushed a fix that seems to work), clean the caches (firedrake/scripts/firedrake-clean), and try it again?
Thanks
-- Fabio
Great, that has fixed it. Will add a test as Lawrence suggested Thanks a lot Stephan