From c927fe4628a4ed88b17277262fc10102dd633fac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 18 Apr 2020 01:07:12 +0200
Subject: [PATCH] Expose Declarations type

---
 src/utils.rs | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/utils.rs b/src/utils.rs
index 422eba7..9edfa55 100644
--- a/src/utils.rs
+++ b/src/utils.rs
@@ -140,15 +140,12 @@ impl<'p> VariableDeclarationStackLayer<'p>
 	}
 }
 
-#[cfg(test)]
 pub struct Declarations
 {
 	function_declarations: std::cell::RefCell<crate::FunctionDeclarations>,
 	predicate_declarations: std::cell::RefCell<crate::PredicateDeclarations>,
-	//free_variable_declarations: std::cell::RefCell<crate::VariableDeclarations>,
 }
 
-#[cfg(test)]
 impl Declarations
 {
 	pub fn new() -> Self
@@ -157,12 +154,10 @@ impl Declarations
 		{
 			function_declarations: std::cell::RefCell::new(crate::FunctionDeclarations::new()),
 			predicate_declarations: std::cell::RefCell::new(crate::PredicateDeclarations::new()),
-			//free_variable_declarations: std::cell::RefCell::new(vec![]),
 		}
 	}
 }
 
-#[cfg(test)]
 impl FindOrCreateFunctionDeclaration for Declarations
 {
 	fn find_or_create_function_declaration(&self, name: &str, arity: usize)
@@ -190,7 +185,6 @@ impl FindOrCreateFunctionDeclaration for Declarations
 	}
 }
 
-#[cfg(test)]
 impl FindOrCreatePredicateDeclaration for Declarations
 {
 	fn find_or_create_predicate_declaration(&self, name: &str, arity: usize)