Bump layout format

[features.git] / lib / layouts / theorems-starred.inc

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 1c924f72f85ebbf87fbf8017242176025cbeedcd..22c144526f757c213995577173e04cffe9d0c989 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,7 +18,7 @@
 # - Claim
 # - Proof
 
-Format 41
+Format 42
 
 Style Theorem*
        Category              Theorem