update to latest version of llvm backend

runtimeverification · Sep 27, 2023 · 4ebc5d9 · 4ebc5d9
1 parent 4039f07
commit 4ebc5d9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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;
 }