[Chore] Remove unnecessary log from z3#1763

LeiWang1999 merged 1 commit intotile-ai:maintile-ai/tilelang:mainfrom

Rachmanino:rm-logRachmanino/tilelang:rm-logCopy head branch name to clipboard