From 07fc6a7f8596d10eff01b14ce943602023b90fb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Wed, 13 May 2020 01:28:25 +0200
Subject: [PATCH] Add to-do note

---
 src/problem.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/problem.rs b/src/problem.rs
index 8567791..2260841 100644
--- a/src/problem.rs
+++ b/src/problem.rs
@@ -480,6 +480,7 @@ impl Problem
 		let mut last_symbolic_constant: Option<std::rc::Rc<foliage::FunctionDeclaration>> =
 			None;
 
+		// TODO: put in axioms section
 		for (i, symbolic_constant) in symbolic_constants.enumerate()
 		{
 			// Order axioms are only necessary with two or more symbolic constants