From eb7ed701b3db9f4dcb7542d5ff3cfd80b8f35e3d Mon Sep 17 00:00:00 2001
From: Robert Gieseke <rob.g@web.de>
Date: Tue, 13 Apr 2021 16:11:26 +0200
Subject: [PATCH] Use 'statement' for claim type enum

---
 schema/Claim.schema.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/schema/Claim.schema.yaml b/schema/Claim.schema.yaml
index b70b0242..592f6da7 100644
--- a/schema/Claim.schema.yaml
+++ b/schema/Claim.schema.yaml
@@ -16,7 +16,7 @@ properties:
     description: Kind of the claim.
     type: string
     enum:
-      - Claim
+      - Statement
       - Theorem
       - Lemma
       - Proof