From 7838092c4ef1da254de4645e7c300c41b607606a Mon Sep 17 00:00:00 2001
From: Arijit Shaw <if.arijit@gmail.com>
Date: Thu, 11 Apr 2024 17:40:37 -0400
Subject: [PATCH] minor change in readme for checkout correctly

---
 README.markdown | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.markdown b/README.markdown
index 99b8a2e4c..b7fc80efc 100644
--- a/README.markdown
+++ b/README.markdown
@@ -34,15 +34,15 @@ sudo apt-get install build-essential cmake
 sudo apt-get install zlib1g-dev
 
 git clone https://github.com/meelgroup/cadical
-git checkout mate-only-libraries-1.8.0
 cd cadical
+git checkout mate-only-libraries-1.8.0
 ./configure
 make
 cd ..
 
 git clone https://github.com/meelgroup/cadiback
-git checkout mate
 cd cadiback
+git checkout mate
 ./configure
 make
 cd ..