Definition at line 713 of file HeadersFTM.h.
Referenced by FTM::DimError::DimError(), and FactGui::handleFtmError().