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 efe7290e157777b2462c7584bfc600b3cf284536..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 79
+Format 80
 
 Style Theorem
        CopyStyle       Theorem*