no change - just rename a local variable
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 24 Apr 2025 13:08:53 +0000 (15:08 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 24 Apr 2025 13:08:53 +0000 (15:08 +0200)
commitd5115d324edbcdecf7a58991471e446ec493e132
tree3123cad1cd4b7c6f31c0d45b518c7c04f79bb592
parent48ec673198857d221265e2fe9dbedcb92c3ef236
no change - just rename a local variable

that was suggesting removal, while it's only an exclusion when retrieving stuff
PLC/Slices.py