[ whitespace] fixed whitespace in test/succeed/RecordFromModule2.agda