replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update link 

Updated tag in link in the document from working-with-cmake-experiment
to working-with-cmake.
This commit is contained in:
diffblue QA 2018-11-13 11:03:33 +00:00
parent 3469b19aec
commit e3f08db69f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/architectural/compilation-and-development.md
View File

@ -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.