From 0e8b11ba54f9b035dfa09515a424f7ae367cf746 Mon Sep 17 00:00:00 2001
From: Geremia <Geremia@users.noreply.github.com>
Date: Wed, 26 Mar 2025 10:33:53 -0700
Subject: [PATCH] Update README.md

RevKit isn't in the cirkit3 branch, so one must checkout master.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 73b1bd1d..82a54457 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,7 @@ CirKit can be executed with
 
 Use git to build RevKit with the following steps
 
-    git clone --recursive https://github.com/msoeken/cirkit.git
+    git clone -b master --recursive https://github.com/msoeken/cirkit.git
     mkdir build
     cd build
     cmake -Denable_cirkit-addon-reversible=ON -Denable_cirkit-addon-formal=ON ..