RavelCAPI updated. Locality preserved on renameAllVariable. For Ravel…

… #661.
highperformancecoder · Jan 3, 2025 · 0566ccd · 0566ccd
1 parent dfd0659
commit 0566ccd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/RavelCAPI b/RavelCAPI
diff --git a/model/group.cc b/model/group.cc
@@ -1319,7 +1319,8 @@ namespace minsky
                      }
                    else
                      {
-                       v->name(newName);
+                       // ensure locality is preserved across the rename
+                       v->name(varScope==v->group.lock()? uqNewName: (':'+uqNewName));
                        if (auto vv=v->vValue()) 
                          v->retype(vv->type()); // ensure correct type. Note this invalidates v.
                      }