From 4c47ed706f20de922f2219eb5c6f6fb12f7afd34 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Fri, 14 Jun 2024 22:26:37 +0200 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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