From 0566ccd843874bdfdf9a3d20ada8ce75bccc5f02 Mon Sep 17 00:00:00 2001
From: Russell Standish <hpcoder@hpcoders.com.au>
Date: Fri, 3 Jan 2025 17:00:12 +1100
Subject: [PATCH] RavelCAPI updated. Locality preserved on renameAllVariable.
 For Ravel #661.

---
 RavelCAPI      | 2 +-
 model/group.cc | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/RavelCAPI b/RavelCAPI
index 266fbf574..c81ede8a3 160000
--- a/RavelCAPI
+++ b/RavelCAPI
@@ -1 +1 @@
-Subproject commit 266fbf574543bfb2bfab86d725a32069801ae0a3
+Subproject commit c81ede8a38ef12babba7b14342cc10b29eb0f271
diff --git a/model/group.cc b/model/group.cc
index 6c872a909..b1dccd616 100644
--- 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.
                      }