Method clone

MiniZincIDE/exception.h:35–35

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

class ProjectError : public Exception