-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Justin, On 24/07/15 13:36, Lawrence Mitchell wrote:
On 24 Jul 2015, at 12:50, Lawrence Mitchell <lawrence.mitchell@imperial.ac.uk> wrote: ... Oh, I think I failed to correctly implement this case. I'll try and put something together.
I think the firedrake branch indexed-fixes does this correctly.
This branch is now merged, it worked correctly for the cases I test. Please let me know if you try it and things are still broken. Cheers, Lawrence -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJVuiBjAAoJECOc1kQ8PEYvehoH/2RONDpiqSjrXs/NdmW65hRI EMtymCFd2VO9Xcz+PQNY+d4OjQ512ktTtoAxKE3+woMDmNNO54K/dwhOfQ6xtcAN 2zYZ1kL/ndq8kTlEo1QSYn+O9VeLLJsAU2uib5/r6yIKbMSOLE3aSVD/l1VOBrEK rzM0RqPDf6+d9sEfRO7alRle8hL6PdAUE8HVG5rqy+WuM1p/VgHBdhSVctJCFmnQ NyRWdEjRXN7l00wXs3jKgdPPW4HPA6gXKEEN/fpTOgTQk7cHQlQ2dVIuibmKaR3+ ZzkwDNtytALBS9qQRmZKG0kMQlneB4a3/Xlgg4dneswl8SmSPu/ygT8Q/4iejs0= =pMc5 -----END PGP SIGNATURE-----