Salome HOME
std::set_difference requires sorted container to work correctly mbs/fix_move_to_the_end_on_group_substraction 6/head
authormbs <martin.bernhard@opencascade.com>
Fri, 14 Apr 2023 15:47:31 +0000 (16:47 +0100)
committermbs <martin.bernhard@opencascade.com>
Fri, 14 Apr 2023 15:47:31 +0000 (16:47 +0100)
commitb93b7ca5ad2c544858baad2d03ea7b962b87417a
treeff03f5740ebe2d05b1ad9c4f95d9d4039c6b2c61
parentd3365ff28149c4633d0c092587c0ad0d49bcf944
std::set_difference requires sorted container to work correctly
src/XGUI/XGUI_Workshop.cpp