[DynInst_API:] Deleting snippets

[Marc BrÃnink <marc@xxxxxxxxx>]

Dear all,

is it safe to delete a snippet while a thread is actually executing the 
snippet?
If not, what is the current best practice to delete a snippet?

Kind regards,
Marc