Revert unintentional commits.

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

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