Fix compilation with gcc 4.9

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

diff --git a/lib/layouts/theorems-named.module b/lib/layouts/theorems-named.module
index b2f34abb1b3577bda2714e7c564f1c50aa712e9d..556515036f2ed394deb478dcf011d699a9208751 100644 (file)
--- a/lib/layouts/theorems-named.module
+++ b/lib/layouts/theorems-named.module
@@ -7,7 +7,7 @@
 #DescriptionEnd
 #Original Author: John Perry
 
-Format 90
+Format 95
 
 ProvideStyle Theorem*
        Category              Reasoning