From 0011fd9d4cc1ca8f470efb1958c3ce11512058fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 03:40:27 +0200
Subject: [PATCH] Add to-do note

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

diff --git a/src/utils.rs b/src/utils.rs
index 19fe636..7ef9c9f 100644
--- a/src/utils.rs
+++ b/src/utils.rs
@@ -105,6 +105,7 @@ pub(crate) struct ScopedFormula
 	pub formula: foliage::Formula,
 }
 
+// Move to separate utils file
 pub(crate) fn existential_closure(scoped_formula: crate::ScopedFormula) -> foliage::Formula
 {
 	match scoped_formula.free_variable_declarations.is_empty()