When Justin Verlander gets into the Hall of Fame, will he go in as a Tiger or Astro?

He was on the Tigers for much longer but hit his individual peak, won 2 of his 3 Cy Youngs and both World Series titles as an Astro. I think he'll either go in as a Tiger or blank cap but I'm not sure.