mirror of
https://github.com/ggml-org/whisper.cpp.git
synced 2026-10-04 05:21:27 +02:00
Without a virtual destructor, deleting a derived object through a base-class pointer only invokes the base destructor, skipping the derived one.