From 749dab228ba91678be2f3305b94c9512314d1d13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sun, 2 Feb 2020 02:12:05 +0100
Subject: [PATCH] Represent parameter lists as vectors and not sets

---
 src/ast.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/ast.rs b/src/ast.rs
index 041a7aa..d270106 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -52,7 +52,7 @@ pub struct VariableDeclaration
 	pub name: String,
 }
 
-pub type VariableDeclarations = std::collections::HashSet<std::rc::Rc<VariableDeclaration>>;
+pub type VariableDeclarations = Vec<std::rc::Rc<VariableDeclaration>>;
 
 pub struct VariableDeclarationStack
 {
@@ -102,7 +102,7 @@ impl VariableDeclarationStack
 		};
 		let variable_declaration = std::rc::Rc::new(variable_declaration);
 
-		self.free_variable_declarations.insert(std::rc::Rc::clone(&variable_declaration));
+		self.free_variable_declarations.push(std::rc::Rc::clone(&variable_declaration));
 
 		variable_declaration
 	}
@@ -162,13 +162,13 @@ pub struct Compare
 
 pub struct Exists
 {
-	pub parameters: Vec<std::rc::Rc<VariableDeclaration>>,
+	pub parameters: VariableDeclarations,
 	pub argument: Box<Formula>,
 }
 
 pub struct ForAll
 {
-	pub parameters: Vec<std::rc::Rc<VariableDeclaration>>,
+	pub parameters: VariableDeclarations,
 	pub argument: Box<Formula>,
 }