diff --git a/README.md b/README.md index a478483..4f996da 100644 --- a/README.md +++ b/README.md @@ -36,14 +36,14 @@ 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