Update layout format.

[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 b167267200db14501150fbc29eb512d2be4728f9..d25cbef862ae6f9ce23deb274585cce8e094e14b 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 7
+Format 8
 
 Style Theorem
        CopyStyle       Theorem*