Update layout format.

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

diff --git a/lib/layouts/theorems-order.inc b/lib/layouts/theorems-order.inc
index 7f2a3318efb03f2a87ae6b71af4bcc3c851e059a..dd4caa27d1ec78ebed83c1d911ca19656c167bf9 100644 (file)
--- a/lib/layouts/theorems-order.inc
+++ b/lib/layouts/theorems-order.inc
@@ -1,7 +1,7 @@
 # Sets the order of the main theorem environments
 # Author: Richard Heck
 
-Format 7
+Format 8
 
 #Get the order right
 Style Theorem