Update layout formats

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

diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 8674183c32b289f59596e355484ec40cfef357e9..829b409bd5e20c51eab20d023cc5ab21a7817eaf 100644 (file)
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -6,7 +6,7 @@
 # Define Case as an enumeration environment
 # with its own counters
 
-Format 74
+Format 80
 
 Counter casei
         LabelString "Case \arabic{casei}."