Upgrade to newer ralib (using learnlib 0.18.0)

protocol-fuzzing · Feb 7, 2025 · c2d1376 · c2d1376
1 parent e89b0f3
commit c2d1376
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install.sh b/install.sh
@@ -3,7 +3,7 @@
 # This can be removed once RALib is available from a maven repository.
 git clone "https://github.com/LearnLib/ralib"
 cd ralib
-git checkout 2b6817ed7e532f0aecbd47907d3dc0de4fdf94e0
+git checkout 6de3c3883fffdc0b0a1aba36365daddcc7ccaca5
 mvn install -DskipTests
 cd ..