From 5f2a38ae451759f657e9a10cc138aa5a82cd8261 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 12 Jun 2022 17:43:00 +0200 Subject: [PATCH] fix bug --- src/environments/fancythm/fancythm.dtx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/environments/fancythm/fancythm.dtx b/src/environments/fancythm/fancythm.dtx index 0354071..0e0c257 100644 --- a/src/environments/fancythm/fancythm.dtx +++ b/src/environments/fancythm/fancythm.dtx @@ -566,7 +566,7 @@ { new, provide } { fancythm_#1_theorem:nnnn } { - \use:c { groupthm_#1_family:nnnnn } { ##1 } { dagger, star } { ##3 } { ##4 } { ##2 } + \use:c { groupthm_#1_family:nnnnn } { ##1 } { dagger, star, nobraces } { ##3 } { ##4 } { ##2 } \use:c { groupthm_#1_family_options:nnnn } { ##1 } { !s !t+ !t-}