#ifndef _BRepOffset_Interval_HeaderFile #include #endif