Revert a recent change to Include#3072

Merged

jbogard merged 2 commits intoLuckyPennySoftware:masterfrom

lbargaoanu:include_order

May 10, 2019

Commits on May 7, 2019

I removed this line because it seemed unnecessary, the map was already included, but I guess I trusted the tests too much, it only works in a certain order
lbargaoanu
committed

Commits on May 8, 2019

rename
lbargaoanu
committed