Merge pull request #6577 from narimiran/linkFix

fixes #6575
This commit is contained in:
Dominik Picheta
2017-10-23 19:30:07 +01:00
committed by GitHub

View File

@@ -74,7 +74,7 @@ model low level lockfree mechanisms:
The ``locks`` pragma takes a list of lock expressions ``locks: [a, b, ...]``
in order to support *multi lock* statements. Why these are essential is
explained in the `lock levels`_ section.
explained in the `lock levels <#guards-and-locks-lock-levels>`_ section.
Protecting general locations