fix wrong patch for thmtools #29

Closed Sophanatprime closed 1 month ago