Revert "Update dependency: deps/k_release (#156)"

This reverts commit 1aa2e24.
runtimeverification · Sep 29, 2023 · c28f76c · c28f76c
1 parent 5cd26b3
commit c28f76c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.0.119
+6.0.10
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);
-    init_with_len(token, len);
+    set_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));
-  init_with_len(result, len);
+  set_len(result, len);
   return result;
 }