Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename update_modified_set to update_modified_cnst_set.
authorBruno Donassolo <bruno.donassolo@inria.fr>
Wed, 16 Mar 2022 10:10:56 +0000 (11:10 +0100)
committerBruno Donassolo <bruno.donassolo@inria.fr>
Fri, 18 Mar 2022 08:24:44 +0000 (09:24 +0100)
commit48f4267902051738a0b28d32db5a704d711fe37d
treea405a0d14a017cfe1dd4e90c79b287e28a69c45e
parent1c50eb21ec0f34955125873cd8e92e737aed1611
Rename update_modified_set to update_modified_cnst_set.

It's the modified_constraint_set we're updating...
Avoid confusion with modified_set_
src/kernel/lmm/System.cpp
src/kernel/lmm/System.hpp