Comment (by Roland Haas):

I see, thank you. My ET_Next checkout still had both present (arrangements/WVUThorns/IllinoisGRMHD and arrangements/GRHayLET/IllinoisGRMHD) most likely b/c things were added to the thornlist after my initial checkout. Sorry for the confusion.

Ok, so this can then be closed.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2497/illinoisgrmhd-is-incompatible-with-setting