From 4bf1b509246bec6993cfc537a23b1459befe528e Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Thu, 12 Dec 2024 14:14:28 +1100
Subject: [PATCH] Dummy Update in README.md DO NOT MERGE

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 1e42ba748..6c5562485 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+DO NOT MERGE
+
 # Kontrol
 Kontrol combines [KEVM](https://github.com/runtimeverification/evm-semantics) and [Foundry](https://book.getfoundry.sh/) to grant developers the ability to perform formal verification without learning a new language or tool. This is especially useful for those who are not verification engineers. Additionally, developers can leverage Foundry test suites they have already developed and use symbolic execution to increase the level of confidence.