Update layout formats

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

diff --git a/lib/layouts/theorems-starred-equivalents.inc b/lib/layouts/theorems-starred-equivalents.inc
index 9e9d4a1905b6e312d8ad79814af2a1fe8e615b51..f39d3f2eb6ac4b649a92c4e3f512141f37fed5ce 100644 (file)
--- a/lib/layouts/theorems-starred-equivalents.inc
+++ b/lib/layouts/theorems-starred-equivalents.inc
@@ -1,7 +1,7 @@
 # Sets the order of the main theorem environments
 # Author: Richard Heck
 
-Format 76
+Format 80
 
 Style Theorem
        CopyStyle       Theorem*