Update layout format.

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

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index c0d1281956c855297c5c42af5b0b5f9f1da6ce8e..0caec91712e234210bae89952791cde1101953ff 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,7 +18,7 @@
 # - Claim
 # - Proof
 
-Format 7
+Format 8
 
 Style Theorem*
        Category              Theorem