Merge pull request #750 from arijitsh/patch-1

minor change in readme for checkout correctly
msoos · Apr 11, 2024 · b5618f4 · b5618f4
2 parents e319c56 + 7838092
commit b5618f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 ..