Bump layout format

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

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 61b19c9091cdba89505abd15380d9ebfae7cb3ac..5d0271dbf40d6472411e87cf5c23896f21c16c85 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 41
+Format 42
 
 Counter theorem
 End