Update layout format.

[features.git] / lib / layouts / theorems-std.module

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 1bf04e6e1e2ed352b8191e632de155e47b6271a7..73447c528629475e5744a16661b990d5584c2a50 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -8,7 +8,7 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 7
+Format 8
 
 Counter
        Name                 theorem