TSFC: avoid setup of unused domains#4829

pbrubeck wants to merge 2 commits into

releasefiredrakeproject/firedrake:releasefrom

pbrubeck/fix/integral_type_mapfiredrakeproject/firedrake:pbrubeck/fix/integral_type_mapCopy head branch name to clipboard