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 ff5b85a70255dc4a3df80a539ea36d5008b2d068..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 79
+Format 80
 
 Counter casei
         LabelString "Case \arabic{casei}."