Fix typo in reflection test
Fix typo in reflection test

I'm not sure how this ever worked properly, but it's certainly okay
now...!

uuhan/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev