Update layout formats

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

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index dc3892a181c88130957481561b7389a602090724..ff3def15a4f059e2374f5922d6ac3c6782355e0a 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -9,7 +9,7 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 79
+Format 80
 
 Counter theorem
 End