From 894680d93e2b66b9cf4c9c0ae3b3a9ca0b006ff7 Mon Sep 17 00:00:00 2001
From: Javier Izquierdo <124056014+javizqh@users.noreply.github.com>
Date: Fri, 4 Apr 2025 12:34:10 +0200
Subject: [PATCH] Update install-ompl-ubuntu.sh

---
 scripts/install-ompl-ubuntu.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/install-ompl-ubuntu.sh b/scripts/install-ompl-ubuntu.sh
index 57e4e2c..26dd31c 100644
--- a/scripts/install-ompl-ubuntu.sh
+++ b/scripts/install-ompl-ubuntu.sh
@@ -82,6 +82,7 @@ install_ompl()
         ${SUDO} apt-get -y install git
         git clone --recurse-submodules https://github.com/ompl/${OMPL}.git
         cd $OMPL
+        git checkout 0f990886e9e40014e32ddee177c8d798adbc8fb7 # Temporary: with this commit works
     fi
     mkdir -p build/Release
     cd build/Release