From 110aa91c8f775a27a9f46f0d4e8e71ff83a89bcf Mon Sep 17 00:00:00 2001
From: Aleksei Babushkin <ocelaiwo@gmail.com>
Date: Thu, 12 Oct 2023 16:33:18 +0300
Subject: [PATCH] [fix] stp getName -> getIdentifier

---
 lib/Solver/STPBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp
index 2be48bc552..a858e7a8f7 100644
--- a/lib/Solver/STPBuilder.cpp
+++ b/lib/Solver/STPBuilder.cpp
@@ -441,7 +441,7 @@ ::VCExpr STPBuilder::getInitialArray(const Array *root) {
     // STP uniques arrays by name, so we make sure the name is unique by
     // using the size of the array hash as a counter.
     std::string unique_id = llvm::utostr(_arr_hash._array_hash.size());
-    std::string unique_name = root->getName() + unique_id;
+    std::string unique_name = root->getIdentifier() + unique_id;
 
     array_expr =
         buildArray(unique_name.c_str(), root->getDomain(), root->getRange());