Update README.md

meelgroup · Apr 13, 2024 · f11b3c7 · f11b3c7
1 parent a30f8fa
commit f11b3c7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -36,14 +36,15 @@ cd cryptominisat
 mkdir build && cd build
 cmake ..
 make
+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