diff --git a/src/V3Error.cpp b/src/V3Error.cpp index 86e3d7956..b60ad96ae 100644 --- a/src/V3Error.cpp +++ b/src/V3Error.cpp @@ -303,6 +303,18 @@ string V3Error::msgPrefix(V3ErrorCode code) { else return "%Warning-"+(string)code.ascii()+": "; } +//====================================================================== +// Abort/exit + +void V3Error::vlAbort () { + if (V3Error::debugDefault()) { + cerr<