rm redundant cerr message from ASSERT handler

no longer needed as we get clean handling of uncatched exceptions from #674 (closed).

added 1 commit

• 54e422ea - rm redundant cerr message from ASSERT handler

Compare with previous version

changed title from rm redundant cerr message from ASSERT handler to DRAFT (waiting for #674) rm redundant cerr message from ASSERT handler

As !1820 (merged) is merged, this can be proceed.

changed title from DRAFT (waiting for #674) rm redundant cerr message from ASSERT handler to rm redundant cerr message from ASSERT handler

mentioned in commit 4f294cbc

merged