Fixing readme's nested directory structure

Thank you so much to Tan Yong Kiam for spotting this!
meelgroup · May 4, 2024 · 31f5b91 · 31f5b91
1 parent 98a3147
commit 31f5b91
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -78,23 +78,22 @@ cd cryptominisat
 mkdir build && cd build
 cmake ..
 make
-cd ..
+cd ../..
 
 git clone https://github.com/meelgroup/sbva
 cd sbva
 mkdir build && cd build
 cmake ..
 make
-cd ..
+cd ../..
 
 git clone https://github.com/meelgroup/arjun
 cd arjun
 mkdir build && cd build
 cmake ..
 make
-cd ..
-
 cd ../..
+
 git clone https://github.com/meelgroup/approxmc
 cd approxmc
 mkdir build && cd build