From e3f08db69f0a98eaf6610ff3867982d66b2034dd Mon Sep 17 00:00:00 2001 From: diffblue QA Date: Tue, 13 Nov 2018 11:03:33 +0000 Subject: [PATCH] Update link Updated tag in link in the document from working-with-cmake-experiment to working-with-cmake. --- doc/architectural/compilation-and-development.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/architectural/compilation-and-development.md b/doc/architectural/compilation-and-development.md index c3fbf90125..b52ff7e6fa 100644 --- a/doc/architectural/compilation-and-development.md +++ b/doc/architectural/compilation-and-development.md @@ -22,7 +22,7 @@ FreeBSD 11, MacOS X and Windows. There is also support for compiling using CMake. Instructions are available in -[COMPILING.md](https://github.com/diffblue/cbmc/blob/develop/COMPILING.md#working-with-cmake-experimental) +[COMPILING.md](https://github.com/diffblue/cbmc/blob/develop/COMPILING.md#working-with-cmake) in the root of the CBMC repository.