Fix compilation with gcc 4.9

[features.git] / lib / layouts / theorems-starred-equivalents.inc

diff --git a/lib/layouts/theorems-starred-equivalents.inc b/lib/layouts/theorems-starred-equivalents.inc
index 11fd29d4a52d584fd5faff64e1b95cff97f439ee..752f4bcb86d9f4e24f6ca3579e15db497599903c 100644 (file)
--- a/lib/layouts/theorems-starred-equivalents.inc
+++ b/lib/layouts/theorems-starred-equivalents.inc
@@ -1,7 +1,7 @@
 # Sets the order of the main theorem environments
-# Author: Richard Heck
+# Author: Richard Kimberly Heck
 
-Format 43
+Format 95
 
 Style Theorem
        CopyStyle       Theorem*
@@ -52,6 +52,13 @@ Style Example
        EndPreamble
 End
 
+Style Solution
+       CopyStyle       Solution*
+       DependsOn       Solution*
+       Preamble
+       EndPreamble
+End
+
 Style Problem
        CopyStyle       Problem*
        DependsOn       Problem*