Update layouts

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

diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 1ee52a34ac50cd264c704ef64bd4830bcfe08bdc..800397a292c55a0b13db6ceaa79e80457f7c8197 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 82
+Format 84
 
 Counter casei
        GuiName "Case (Level 1)"