Update layout formats

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

diff --git a/lib/layouts/theorems-named.module b/lib/layouts/theorems-named.module
index 5f9e32008af1582b5c56c9869f7721cfea130b0d..f0d8c30e98d694e69c8bad5baaba3b5e1e067a38 100644 (file)
--- a/lib/layouts/theorems-named.module
+++ b/lib/layouts/theorems-named.module
@@ -7,7 +7,7 @@
 #DescriptionEnd
 #Original Author: John Perry
 
-Format 79
+Format 80
 
 ProvideStyle Theorem*
        Category              Reasoning