From 05f201afb0630df0871e4c6b0287255e8b41c8ea Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 10 Dec 2017 14:47:04 +0100
Subject: [PATCH] fix a caption

---
 docs/derived.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/derived.tex b/docs/derived.tex
index 631455a88..aca9dbc2c 100644
--- a/docs/derived.tex
+++ b/docs/derived.tex
@@ -1,6 +1,6 @@
 \section{Derived Constructions}
 
-\subsection{Non-Atomic (``Thread-Local'') Invariants}
+\subsection{Non-atomic (``Thread-Local'') Invariants}
 
 Sometimes it is necessary to maintain invariants that we need to open non-atomically.
 Clearly, for this mechanism to be sound we need something that prevents us from opening the same invariant twice, something like the masks that avoid reentrancy on the ``normal'', atomic invariants.
-- 
GitLab