From ae46634d670aabe0004b20f4cd97fe352895f495 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 03:52:36 +0200
Subject: [PATCH] Rename ClosedFormula to OpenFormula

---
 src/ast.rs            | 2 +-
 src/parse/formulas.rs | 5 ++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/ast.rs b/src/ast.rs
index 385932a..c7320bf 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -556,7 +556,7 @@ impl Formula
 	}
 }
 
-pub struct ClosedFormula
+pub struct OpenFormula
 {
 	pub free_variable_declarations: std::rc::Rc<VariableDeclarations>,
 	pub formula: Formula,
diff --git a/src/parse/formulas.rs b/src/parse/formulas.rs
index 13e03da..78e68cd 100644
--- a/src/parse/formulas.rs
+++ b/src/parse/formulas.rs
@@ -1,8 +1,7 @@
 use super::terms::*;
 use super::tokens::*;
 
-pub fn formula<D>(input: &str, declarations: &D)
-	-> Result<crate::ClosedFormula, crate::parse::Error>
+pub fn formula<D>(input: &str, declarations: &D) -> Result<crate::OpenFormula, crate::parse::Error>
 where
 	D: crate::FindOrCreateFunctionDeclaration + crate::FindOrCreatePredicateDeclaration,
 {
@@ -18,7 +17,7 @@ where
 		_ => unreachable!(),
 	};
 
-	Ok(crate::ClosedFormula
+	Ok(crate::OpenFormula
 	{
 		formula,
 		free_variable_declarations,