From 8885582e3c269f6ea9b65079656ad31c524664fa Mon Sep 17 00:00:00 2001
From: David SPORN <sporniket.studio@gmail.com>
Date: Tue, 19 Nov 2024 07:20:08 +0100
Subject: [PATCH] [docs] Fixes instructions for installing boolector

There is a `build` folder where `bin\btorsim` is generated
---
 docs/source/install.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/install.rst b/docs/source/install.rst
index ba578d2..eba3d3f 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -96,7 +96,7 @@ https://boolector.github.io
     ./configure.sh
     make -C build -j$(nproc)
     sudo cp build/bin/{boolector,btor*} /usr/local/bin/
-    sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/
+    sudo cp deps/btor2tools/build/bin/btorsim /usr/local/bin/
 
 To use the ``btor`` engine you will need to install btor2tools from 
 `commit c35cf1c <https://github.com/Boolector/btor2tools/commit/c35cf1c>`_ or