Method raise

MiniZincIDE/exception.h:70–70

    DriverError(const QString& _msg) : Exception(_msg) {}

    void raise() const override { throw *this; }
    Exception *clone() const override { return new DriverError(*this); }
};