From 43b12a60239aeeabddd168eb709b3e554a79d0a5 Mon Sep 17 00:00:00 2001
From: ACassimiro <cassimiroaellison@gmail.com>
Date: Mon, 26 Aug 2024 18:02:08 -0300
Subject: [PATCH] Undoing misplaced change

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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 $@