From 20a1e7f07c1a19a4a7deba40041fae1e5c87b99e Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Wed, 27 Sep 2023 11:09:21 -0500
Subject: [PATCH] update to latest version of llvm backend

---
 plugin-c/json.cpp        | 2 +-
 plugin-c/plugin_util.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugin-c/json.cpp b/plugin-c/json.cpp
index 40f5c9b6a..190b703d6 100644
--- a/plugin-c/json.cpp
+++ b/plugin-c/json.cpp
@@ -113,7 +113,7 @@ struct KoreHandler : BaseReaderHandler<UTF8<>, KoreHandler> {
     stringinj *inj = (stringinj *)koreAlloc(sizeof(stringinj));
     inj->h = strHdr;
     string *token = (string *)koreAllocToken(sizeof(string) + len);
-    set_len(token, len);
+    init_with_len(token, len);
     memcpy(token->data, str, len);
     inj->data = token;
     result = (block *)inj;
diff --git a/plugin-c/plugin_util.cpp b/plugin-c/plugin_util.cpp
index 021a16aeb..dacbb5189 100644
--- a/plugin-c/plugin_util.cpp
+++ b/plugin-c/plugin_util.cpp
@@ -3,7 +3,7 @@
 extern "C" {
 string* allocString(size_t len) {
   struct string *result = (struct string *)koreAllocToken(len + sizeof(string));
-  set_len(result, len);
+  init_with_len(result, len);
   return result;
 }