diff --git a/Makefile b/Makefile
index 1d6235f..9ef5829 100644
--- a/Makefile
+++ b/Makefile
@@ -68,3 +68,4 @@ $(EXECUTION_OUTPUT_DIR)/%.run.executed.kore: $(EXECUTION_INPUT_DIR)/%.run $(RUST
 		-cTEST="$(shell cat $<)" \
 		-pTEST=$(CURDIR)/run-test.sh
 	cat $@.tmp | grep -q "Lbl'-LT-'k'-GT-'{}(dotk{}())"
+	mv -f $@.tmp $@