From d77c7648b35c0e84f86d5bf6ef89b3b19767cea3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 19 May 2020 12:56:21 +0200
Subject: [PATCH] Ensure that statements are proven in right order

---
 src/problem.rs              | 1 +
 src/problem/section_kind.rs | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/problem.rs b/src/problem.rs
index 9e44598..402081e 100644
--- a/src/problem.rs
+++ b/src/problem.rs
@@ -306,6 +306,7 @@ impl Problem
 	where
 		F: FnMut(&mut Statement) -> G,
 	{
+		// TODO: properly ensure that statements are proven in the right order
 		for section in self.statements.borrow_mut().iter_mut()
 		{
 			for statement in section.1.iter_mut()
diff --git a/src/problem/section_kind.rs b/src/problem/section_kind.rs
index 0294654..6321f66 100644
--- a/src/problem/section_kind.rs
+++ b/src/problem/section_kind.rs
@@ -2,11 +2,11 @@
 #[derive(Clone, Copy, Eq, Ord, PartialEq, PartialOrd)]
 pub enum SectionKind
 {
-	CompletedDefinitions,
-	IntegrityConstraints,
 	Axioms,
 	Assumptions,
 	Lemmas,
+	CompletedDefinitions,
+	IntegrityConstraints,
 	Assertions,
 }