diff --git a/Makefile b/Makefile index 20fd2eb..ac83c27 100644 --- a/Makefile +++ b/Makefile @@ -496,7 +496,6 @@ $(UKM_WITH_CONTRACT_TESTING_OUTPUT_DIR)/%.run.executed.kore: \ cat "$(shell echo "$<" | sed 's/\.[^.]*.run$$//').rs" >> $@.in.tmp echo ">)>" >> $@.in.tmp - LD_LIBRARY_PATH=$(shell pwd)/deps/ulm/kllvm/ \ krun \ $@.in.tmp \ --parser $(CURDIR)/parsers/crates-ukm-testing-execution.sh \