From 3e6cb7fe1bc5fe08d01adf5f48ec41b6fa39a381 Mon Sep 17 00:00:00 2001 From: Guillaume Munch Date: Mon, 14 Dec 2015 15:19:03 +0000 Subject: [PATCH] amend 3dcb71ea --- lib/layouts/theorems-without-preamble.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc index c6d8f6c1dd..2f5120498d 100644 --- a/lib/layouts/theorems-without-preamble.inc +++ b/lib/layouts/theorems-without-preamble.inc @@ -294,7 +294,7 @@ Style Sol Mandatory 1 LabelString "Label of Problem" Tooltip "Label of the corresponding problem" - InToc + IsTocCaption true EndArgument End -- 2.39.2