From 88a29222c46ff115ef7172aba30f8f00bf5f4955 Mon Sep 17 00:00:00 2001 From: Fernando Oleo Blanco Date: Wed, 3 Sep 2025 16:00:31 +0200 Subject: [PATCH] Fix documentation link in the README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index e3611d96..eede04d3 100644 --- a/README.md +++ b/README.md @@ -13,5 +13,4 @@ blog](https://blog.adacore.com/). # 3. Documentation Documentation about what is provided in the SPARKlib and how to use it can be -found in the [SPARK User's Guide] -(https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html#spark-library). +found in the [SPARK User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html#spark-library).