commit 3e6cb7fe1bc5fe08d01adf5f48ec41b6fa39a381
Author: Guillaume Munch <[email protected]>
Date: Mon Dec 14 15:19:03 2015 +0000
amend 3dcb71ea
diff --git a/lib/layouts/theorems-without-preamble.inc
b/lib/layouts/theorems-without-preamble.inc
index c6d8f6c..2f51204 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
