On November 3 , it weakened into Tropical Depression Tomas .
Early on November 2 , Tropical Storm Tomas re-intensified slightly , but later weakened to a tropical depression .