Update dependency: llvm-backend/src/main/native/llvm-backend (#3719)

Co-authored-by: devops <[email protected]>
runtimeverification · Oct 17, 2023 · 5988a11 · 5988a11
1 parent 6e39f79
commit 5988a11
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+11 −8		include/kllvm/codegen/Decision.h
+2 −1		include/runtime/header.h
+38 −5		lib/codegen/Decision.cpp
+3 −5		lib/codegen/DecisionParser.cpp
+2 −2		runtime/util/ConfigurationPrinter.cpp
+0 −1		test/k-rule-apply/definition.kore