Update layout formats

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

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index cdb9b0ecaf836d17f87ab062fb500e3c5e634d69..15d387cabfae05a96a04ec532d2b3c95299eeaa5 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -19,7 +19,7 @@
 # - Claim
 # - Proof
 
-Format 79
+Format 80
 
 OutlinerName thm "Definitions & Theorems"